update default version to v4.9_devel

paparazzi · Oct 9, 2012 · 98bf775 · 98bf775
1 parent 1d6ea24
commit 98bf775
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=v4.1_unstable
+DEF_VER=v4.9_devel
 
 # First try git describe (if running on a git repo),
 # then use default version from above (for release tarballs).