diff options
| author |  jesopo | 2019-02-28 17:18:47 +0000 |
|---|---|---|
| committer | jesopo | 2019-02-28 17:18:47 +0000 |
| commit | b4fca127d137bc2aa897e0673b957fd9e1c72264 (patch) | |
| tree | 1cae59fc564f59622bbd533bffac426468e8cf47 /src | |
| parent | Colorise PR/issue numbers (github) (diff) | |
| signature | ||
COLOR_POSITIVE should be green and COLOR_NEGATIVE should be red
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions