[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [paparazzi/paparazzi] c588f0: [gen_settings] fix bug
|
From: |
GitHub |
|
Subject: |
[paparazzi-commits] [paparazzi/paparazzi] c588f0: [gen_settings] fix bug when target is not specifie... |
|
Date: |
Wed, 15 Oct 2014 09:12:43 -0700 |
Branch: refs/heads/master
Home: https://github.com/paparazzi/paparazzi
Commit: c588f047e6b82ee6e7bdf592e0da958aacbc00c5
https://github.com/paparazzi/paparazzi/commit/c588f047e6b82ee6e7bdf592e0da958aacbc00c5
Author: Gautier Hattenberger <address@hidden>
Date: 2014-10-15 (Wed, 15 Oct 2014)
Changed paths:
M sw/tools/generators/gen_settings.ml
Log Message:
-----------
[gen_settings] fix bug when target is not specified (use default list)
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [paparazzi-commits] [paparazzi/paparazzi] c588f0: [gen_settings] fix bug when target is not specifie...,
GitHub <=