[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [paparazzi/paparazzi] af1900: [ground_segment] setti
|
From: |
GitHub |
|
Subject: |
[paparazzi-commits] [paparazzi/paparazzi] af1900: [ground_segment] settings: display ? on undo |
|
Date: |
Sun, 21 Dec 2014 16:11:09 -0800 |
Branch: refs/heads/master
Home: https://github.com/paparazzi/paparazzi
Commit: af1900ea1766d9f8260e0ca4d2277a174407090b
https://github.com/paparazzi/paparazzi/commit/af1900ea1766d9f8260e0ca4d2277a174407090b
Author: Felix Ruess <address@hidden>
Date: 2014-12-22 (Mon, 22 Dec 2014)
Changed paths:
M sw/ground_segment/cockpit/page_settings.ml
Log Message:
-----------
[ground_segment] settings: display ? on undo
should solve first part of #1054
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [paparazzi-commits] [paparazzi/paparazzi] af1900: [ground_segment] settings: display ? on undo,
GitHub <=