diff options
author | 2021-04-13 12:09:44 +0800 | |
---|---|---|
committer | 2021-04-13 23:09:55 +0800 | |
commit | b46abad51671d1f8049913b4e7ef629010686d13 (patch) | |
tree | 4b0879f118a192eaf34673dd75eb8932e6c199a4 /manage.py | |
parent | Migrate root files. (diff) |
Use the more consistent highlight.
We don't need ReasonML support, and the reasonable theme has a really
ugly neon parameter color.
Diffstat (limited to 'manage.py')
0 files changed, 0 insertions, 0 deletions