Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-28 01:53:48 +08:00
Code Issues Actions 28 Packages Projects Releases Wiki Activity

Stable release v5.12

Browse Source
This commit is contained in:
Gautier Hattenberger
2017-09-04 22:58:49 +02:00
parent bd53a3c26c
commit 8158c64ac2
2 changed files with 16 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
paparazzi_version
+1 -1
View File
@@ -1,6 +1,6 @@
#!/bin/sh
DEF_VER=v5.11_devel
DEF_VER=v5.12_stable
# First try git describe (if running on a git repo),
# then use default version from above (for release tarballs).