diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2015-03-18 17:11:43 +0100 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2015-03-18 17:11:43 +0100 |
| commit | 7ae357f863732451ee65c566687f7440b3c1c74a (patch) | |
| tree | 143d849c41ddb9882c9ff53d76ed9a9535fdd6af /.tx | |
| parent | ae274ac728bfb247e5a2b3249b7d2369909ae6f6 (diff) | |
| parent | fb3740f07bc75a9b22ef767d995490941a083895 (diff) | |
Merge pull request #1036 from QuentinC/development
Green led color is better with "full-green"
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions