docs/Writerside/topics/properties.h.md

changeset 1277
637d4775e79e
parent 1268
a84403b0a503
--- a/docs/Writerside/topics/properties.h.md	Sun Apr 06 13:13:52 2025 +0200
+++ b/docs/Writerside/topics/properties.h.md	Sun Apr 06 13:21:17 2025 +0200
@@ -11,7 +11,7 @@
 
 An example properties file looks like this:
 
-```properties
+```Ini
 # Comment line at start of file
 key1 = value1
 key2 = value2

mercurial