autogen.sh (new file): add script for running the GNU autotools in the

[mmh] / VERSION

diff --git a/VERSION b/VERSION
index 5625e59..cd438c9 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.2
+1.3-dev