diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-24 21:47:24 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-24 21:47:24 +0100 |
| commit | 08b7cd0d3d131f54b3a4d8440f650105acb97288 (patch) | |
| tree | 705e3d29b181301cc47f0e54166162fe36057283 /.gitignore | |
| parent | 44cce2bdfb553b24cc00ad61c389d7f97851c2ea (diff) | |
| parent | 70bba4e62dc3ffe258fcc19b1e31af0354cedb3f (diff) | |
Merge pull request #16041 from Chaosus/fixcolordoc
Fix small bug in color doc
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions