summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xlaunch.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/launch.sh b/launch.sh
index 44d9261f..b049a7af 100755
--- a/launch.sh
+++ b/launch.sh
@@ -9,7 +9,7 @@ if [ -e .git ]
then
args=$(git show --format='%h %ci' | head -n1)
else
- args="0.9-dev"
+ args="0.12-dev"
fi
if [ -e "$POEZIO_VENV" ]