1 files changed, 1 insertions, 1 deletions
diff --git a/launch.sh b/launch.sh
index 92f8545a..14d8c071 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.12-dev"
+    args="0.13.1-dev"
 fi
 
 if [ -e "$POEZIO_VENV" ]