diff options
author | sharkdp <davidpeter@web.de> | 2020-05-26 07:52:44 +0200 |
---|---|---|
committer | sharkdp <davidpeter@web.de> | 2020-05-26 08:11:41 +0200 |
commit | e54e218e3b51c842d104547034c164c7c91db364 (patch) | |
tree | f0c666fc07b18d7426725b14f267181fec6e35f2 | |
parent | bd17fd571f99d52b4d76a24aee719dcd89a0244d (diff) |
Update binary assets
-rw-r--r-- | assets/syntaxes.bin | bin | 653318 -> 657638 bytes |
-rw-r--r-- | assets/themes.bin | bin | 14983 -> 13331 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/assets/syntaxes.bin b/assets/syntaxes.bin Binary files differindex a5a81ced..8c1932fa 100644 --- a/assets/syntaxes.bin +++ b/assets/syntaxes.bin diff --git a/assets/themes.bin b/assets/themes.bin Binary files differindex 9de98391..f1510b0e 100644 --- a/assets/themes.bin +++ b/assets/themes.bin |