[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [paparazzi/pprzlink] 2f9618: remove unused option
|
From: |
Gautier Hattenberger |
|
Subject: |
[paparazzi-commits] [paparazzi/pprzlink] 2f9618: remove unused option |
|
Date: |
Thu, 26 Mar 2020 17:04:41 -0700 |
Branch: refs/heads/xml_validator
Home: https://github.com/paparazzi/pprzlink
Commit: 2f9618d63151a975954043761ca8489d3ca7e2a1
https://github.com/paparazzi/pprzlink/commit/2f9618d63151a975954043761ca8489d3ca7e2a1
Author: Gautier Hattenberger <address@hidden>
Date: 2020-03-27 (Fri, 27 Mar 2020)
Changed paths:
M tools/generator/gen_messages.py
Log Message:
-----------
remove unused option
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [paparazzi-commits] [paparazzi/pprzlink] 2f9618: remove unused option,
Gautier Hattenberger <=