|
| From: | GitHub |
| Subject: | [paparazzi-commits] [paparazzi/paparazzi] 7f72fc: paparazzicenter: green background color for info m... |
| Date: | Sun, 12 Feb 2012 06:54:38 -0800 |
Branch: refs/heads/master
Home: https://github.com/paparazzi/paparazzi
Commit: 7f72fcd2cd332aa2b5e943eb69a50da7a4daa1b4
https://github.com/paparazzi/paparazzi/commit/7f72fcd2cd332aa2b5e943eb69a50da7a4daa1b4
Author: Felix Ruess <address@hidden>
Date: 2012-02-12 (Sun, 12 Feb 2012)
Changed paths:
M sw/supervision/paparazzicenter.ml
Log Message:
-----------
paparazzicenter: green background color for info messages (e.g. via #pragma
message)
| [Prev in Thread] | Current Thread | [Next in Thread] |