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 | |
| parent | 260814c377d1c5696afc40b4a8dbcff99d125ec0 (diff) | |
Update syntaxes and themes
| -rw-r--r-- | assets/syntaxes.bin | bin | 516396 -> 523814 bytes |
| -rw-r--r-- | assets/themes.bin | bin | 9588 -> 10247 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/assets/syntaxes.bin b/assets/syntaxes.bin Binary files differindex f4e41969..dee29367 100644 --- a/assets/syntaxes.bin +++ b/assets/syntaxes.bin diff --git a/assets/themes.bin b/assets/themes.bin Binary files differindex ec55c4f3..23ad9132 100644 --- a/assets/themes.bin +++ b/assets/themes.bin |