wip: bump to 0.13.5 for now, might change to 0.14 later

benlorenz · benlorenz · commit 55c7f81ace01 · 2025-07-04T20:14:00.000+02:00
diff --git a/include/jlpolymake/jlpolymake.h b/include/jlpolymake/jlpolymake.h
@@ -45,7 +45,7 @@
 
 #define JLPOLYMAKE_VERSION_MAJOR 0
 #define JLPOLYMAKE_VERSION_MINOR 13
-#define JLPOLYMAKE_VERSION_PATCH 1
+#define JLPOLYMAKE_VERSION_PATCH 5
 
 #define __JLPOLYMAKE_STR_HELPER(x) #x
 #define __JLPOLYMAKE_STR(x) __JLPOLYMAKE_STR_HELPER(x)
