version v5.7_devel: mark as dev for next release

mshouqq · Aug 13, 2015 · 5057e6c · 5057e6c
1 parent ee87abc
commit 5057e6c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/paparazzi_version b/paparazzi_version
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-DEF_VER=v5.6.0_stable
+DEF_VER=v5.7_devel
 
 # First try git describe (if running on a git repo),
 # then use default version from above (for release tarballs).