Update for 0.13

2017-03-04 15:19:23 +01:00
parent 4534bd6aaa
commit a8176c44e0
1 changed files with 1 additions and 1 deletions
--- a/get_version.sh
+++ b/get_version.sh
@@ -1,6 +1,6 @@
 #!/bin/sh

-MAJOR=0.12
+MAJOR=0.13
 DIRTY=""

 if git status 1>/dev/null 2>/dev/null