diff options
author | Wu Cheng-Han | 2015-09-25 19:01:20 +0800 |
---|---|---|
committer | Wu Cheng-Han | 2015-09-25 19:01:20 +0800 |
commit | 8de5404bb17e128207976ca95056d4fb3e96164b (patch) | |
tree | 0f8fea65350441b84257f1ae2fa34af5b33e6701 /public/js/cover.js | |
parent | 98ca5cb3df28064a16b30f96e6b5392c458b473e (diff) |
Added new editor theme: one-dark, updated monokai active line gutter style
Diffstat (limited to 'public/js/cover.js')
0 files changed, 0 insertions, 0 deletions