diff options
| author | Hugo Locurcio <Calinou@users.noreply.github.com> | 2016-05-23 13:27:15 +0200 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-05-23 13:27:15 +0200 |
| commit | e75701e0b5ab909b8ec434c060340d6706537647 (patch) | |
| tree | 93cf9677f71ca1d581bdaf8e832ee1fa3a6b472b /tools/docdump | |
| parent | e56f05c6909f0294a8a26d2c1ad53749d2fe41f8 (diff) | |
Change the default comment color to #676767 (#4763)
A neutral gray color, more readable than the old brown one.
Diffstat (limited to 'tools/docdump')
0 files changed, 0 insertions, 0 deletions