Save/load cached source files.

2025-03-20 07:40:02 +08:00 · 2020-05-23 15:43:42 +02:00
parent 5b96809f6f
commit 2f35c785ee
3 changed files with 45 additions and 1 deletions
@@ -7,7 +7,7 @@ namespace Version
 {
 enum { Major = 0 };
 enum { Minor = 6 };
-enum { Patch = 12 };
+enum { Patch = 13 };
 }
 }