diff options
author | WindSoilder | 2021-12-02 04:51:27 +0000 |
---|---|---|
committer | GitHub | 2021-12-02 04:51:27 +0000 |
commit | 27ffc79c44710a18ca93cb2f0e91ee18ea19f98d (patch) | |
tree | 429824dca810de9ede852e9066d386a9437c85e8 /runtime/queries/json | |
parent | e2b428cc2d23965ab7a91809c5705ede0298107d (diff) |
Add monokai pro theme (#1206)
* add monokai_pro theme
* add monokai_pro theme
* claim the inspired theme and original author
* make diagnostic underlined
Diffstat (limited to 'runtime/queries/json')
0 files changed, 0 insertions, 0 deletions