Mikolaj Wielgus 1638a289ed fix(egui): rename "Properties" to "Preferences" ... I managed to conflate these two because both start with "Pr".		2024-10-17 23:41:37 +02:00
..
main.ftl	fix(egui): rename "Properties" to "Preferences"	2024-10-17 23:41:37 +02:00