diff --git a/get_version.sh b/get_version.sh index 357742f..6da3e6f 100755 --- 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