diff options
author | Kristoffer Flottorp | 2022-08-29 00:23:54 +0000 |
---|---|---|
committer | GitHub | 2022-08-29 00:23:54 +0000 |
commit | eeb0a9f504c689a0be6f0dc09035567e3aa753ad (patch) | |
tree | 292b966888198de2f577864654a6350fad4f0c52 /contrib/themes | |
parent | abb9f139c51ddcd11b7bac366addd337629c8ffd (diff) |
Add fleetish theme. Based on the unreleased JetBrains Fleet editor (#3591)
Co-authored-by: krfl <kr.fl@outlook.com>
Diffstat (limited to 'contrib/themes')
0 files changed, 0 insertions, 0 deletions