This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
manual:user_guide:maps_tools [2019/05/23 18:09] – external edit 127.0.0.1 | manual:user_guide:maps_tools [2023/07/14 11:31] (current) – mstupka | ||
---|---|---|---|
Line 3: | Line 3: | ||
---- | ---- | ||
- | [[manual: | + | * [[manual: |
- | **[[manual: | + | * [[manual: |
- | [[manual: | + | * [[manual: |
- | **[[manual: | + | |
- | [[manual: | + | * [[manual: |
- | **[[manual: | + | |
- | [[manual: | + | * [[manual: |
- | **[[manual: | + | * [[manual: |
+ | | ||
+ | * [[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> |
+ |