diff options
author | sharkdp <davidpeter@web.de> | 2020-11-23 14:46:32 +0100 |
---|---|---|
committer | sharkdp <davidpeter@web.de> | 2020-11-23 14:46:32 +0100 |
commit | 15b122a448955391e61011344a2cca9f2c89b891 (patch) | |
tree | 6263e00a3b945dc3a955fa8096c760fb5875b8cf | |
parent | 44a905d1358fff573fe59ec43be8b15df19fd768 (diff) |
Update syntax cache
-rw-r--r-- | assets/syntaxes.bin | bin | 671149 -> 678334 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/assets/syntaxes.bin b/assets/syntaxes.bin Binary files differindex a69ec6fe..71c64c84 100644 --- a/assets/syntaxes.bin +++ b/assets/syntaxes.bin |