diff options
| author | ChrHorn | 2022-08-15 15:18:04 +0000 |
|---|---|---|
| committer | GitHub | 2022-08-15 15:18:04 +0000 |
| commit | a7ff39fe3e8da94b50bc5595f77dc7097f546b52 (patch) | |
| tree | c0981df721e1f05af398da03a28213a9ea629d62 /runtime/queries/ocaml-interface/highlights.scm | |
| parent | 8a757954728b52ec92843388049dcaea60db8e3c (diff) | |
remove duplicate entries from theme picker (#3439)
Diffstat (limited to 'runtime/queries/ocaml-interface/highlights.scm')
0 files changed, 0 insertions, 0 deletions