Martin Tůma d3a3734e71 Added missing deviation dolphin symbol		2024-06-12 08:47:50 +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 missing deviation dolphin symbol	2024-06-12 08:47:50 +02:00
symbols	Use the same color in the icon "alias"	2024-04-01 13:46:26 +02:00