diff options
| author | Jens Getreu | 2022-07-05 06:21:33 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-07-05 10:33:37 +0000 |
| commit | 936ed3a226a5b94c470f5b40ad7df1b0a3ae4793 (patch) | |
| tree | 9e13e6b2112697acca02eb33d958fb165c2fb841 /runtime/queries/ocaml | |
| parent | 2e709859c4ab35237374e3c8e64c9d3767be4134 (diff) | |
Add Autumn night theme
Under some light conditions, one prefers a high contrast theme.
Diffstat (limited to 'runtime/queries/ocaml')
0 files changed, 0 insertions, 0 deletions