diff options
| author | Micky <micheledevita2@gmail.com> | 2022-10-31 19:51:48 +0100 |
|---|---|---|
| committer | Micky <micheledevita2@gmail.com> | 2022-11-01 19:16:13 +0100 |
| commit | 8feb1da1f80941fea7865cd885b1e170000e105a (patch) | |
| tree | 6d0e32e380a1003f56f9502c48cda1dcd21ede4d /doc/Makefile | |
| parent | b6cbea5e58d88c2b554fc0429ab44abec3f174ae (diff) | |
Improve Editor Documentation colors
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions