Making master branch be main release branch (http://nvie.com/posts/a-…

…successful-git-branching-model/)
liffiton · Mar 27, 2015 · 58996a0 · 58996a0
2 parents eb5408b + 45a706d
commit 58996a0
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 2 deletions.
diff --git a/CHANGES_since_1.0 b/CHANGES_since_1.0
@@ -0,0 +1,5 @@
+1.0.1 - 20141111
+----------------
+ * Add note about support for GCNF to README
+ * Include .gcnf test files in distribution
+
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-dev
+1.0.1
diff --git a/mkdist.sh b/mkdist.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 # gather "whitelist" of files to include
-marco_files="*.py muser2-static README VERSION"
+marco_files="*.py muser2-static README CHANGES* VERSION"
 if [ $# -lt 2 -o "$2" != "notest" ] ; then
     test_files="tests/*.cnf tests/*.gcnf tests/*.smt2 tests/*.gz tests/*.py tests/out/*/*"
 fi