Martin Tůma 8730206939 Added some more missing marine symbols		2024-06-12 23:02:06 +02:00
..
app	Use new GUI icons that fit the recent platform styles.	2023-10-27 20:32:13 +02:00
formats	Fit the extension placeholder into the template	2024-04-14 15:09:12 +02:00
GUI	Added "Open recent" menu	2023-11-15 01:24:39 +01:00
map	Added some more missing marine symbols	2024-06-12 23:02:06 +02:00
symbols	Use the same color in the icon "alias"	2024-04-01 13:46:26 +02:00