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> |
| + | |||