diff options
| author | sharkdp <davidpeter@web.de> | 2019-05-15 22:12:02 +0200 |
|---|---|---|
| committer | sharkdp <davidpeter@web.de> | 2019-05-15 22:12:02 +0200 |
| commit | 3c4384990d9146d3c6007f7e2b6f366847a4fdf0 (patch) | |
| tree | 44924c8fa604e60e7cf4209ece7a0d7f93b17182 /doc | |
| parent | 260814c377d1c5696afc40b4a8dbcff99d125ec0 (diff) | |
Update syntaxes and themes
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions