[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [paparazzi/paparazzi] 1e70db: [settings] reword warn
|
From: |
GitHub |
|
Subject: |
[paparazzi-commits] [paparazzi/paparazzi] 1e70db: [settings] reword warning if settings were unloade... |
|
Date: |
Thu, 30 Jul 2015 02:40:35 -0700 |
Branch: refs/heads/settings_target
Home: https://github.com/paparazzi/paparazzi
Commit: 1e70dbf76b4d6366c8e634965f0edcf1685312d7
https://github.com/paparazzi/paparazzi/commit/1e70dbf76b4d6366c8e634965f0edcf1685312d7
Author: Felix Ruess <address@hidden>
Date: 2015-07-30 (Thu, 30 Jul 2015)
Changed paths:
M sw/lib/ocaml/gen_common.ml
Log Message:
-----------
[settings] reword warning if settings were unloaded
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [paparazzi-commits] [paparazzi/paparazzi] 1e70db: [settings] reword warning if settings were unloade...,
GitHub <=