set paparazzi_version to v5.1_devel

mshouqq · Aug 9, 2013 · d1bb293 · d1bb293
1 parent d86f3d2
commit d1bb293
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.0.0_stable
+DEF_VER=v5.1_devel
 
 # First try git describe (if running on a git repo),
 # then use default version from above (for release tarballs).