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

mark as v5.17 devel until next release

Browse Source
This commit is contained in:
Gautier Hattenberger
2020-05-15 11:58:52 +02:00
parent 3fb4ee4d55
commit 9d9a0d175b
1 changed files with 1 additions and 1 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.16.0_stable
DEF_VER=v5.17_devel
# First try git describe (if running on a git repo),
# then use default version from above (for release tarballs).