Changes between Version 17 and Version 18 of Styles/MapWithAI
- Timestamp:
- 2020-07-29T19:48:06+02:00 (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Styles/MapWithAI
v17 v18 21 21 label: tr("Show possible MapWithAI objects"); 22 22 } 23 settings::colors { 24 label: tr("Source Colors"); 25 } 26 23 27 } 24 28