diff options
| author | sharkdp <davidpeter@web.de> | 2020-04-25 13:05:44 +0200 |
|---|---|---|
| committer | sharkdp <davidpeter@web.de> | 2020-04-25 13:08:30 +0200 |
| commit | 7d7ee1b594560fdc65a5ea63b3307f26ef60e96d (patch) | |
| tree | 083868c24ad865405a80d9ff274c5a045f27b485 | |
| parent | 682b4209f2ffd36c350af903d44ede1c541dcf23 (diff) | |
Update cached verison of themes
| -rw-r--r-- | assets/themes.bin | bin | 16882 -> 15077 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/assets/themes.bin b/assets/themes.bin Binary files differindex 1186d8b9..54c752f9 100644 --- a/assets/themes.bin +++ b/assets/themes.bin |