Ian Jauslin
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index f6233fe..19fc350 100644
--- a/Makefile
+++ b/Makefile
@@ -18,7 +18,7 @@
# if static=1 then link libkondo statically but other libraries dynamically
STATIC=1
-VERSION=1.3
+VERSION=1.3.1
# products of the compilation
PROJECT_BINS= meankondo numkondo meantools kondo_preprocess meantools-convert