This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
manual:user_guide:maps_tools [2022/11/24 15:38] – mstupka | manual:user_guide:maps_tools [2023/07/14 11:31] (current) – mstupka | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | {{ : | + | {{ : |
---- | ---- | ||
Line 16: | Line 16: | ||
* [[manual: | * [[manual: | ||
- | ---- | + | |
- | <wrap tip > | + | <WRAP center round tip> |
Other map tools can be found in the **[[manual: | Other map tools can be found in the **[[manual: | ||
- | </wrap> | + | </WRAP> |
+ |