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/dockerfile/highlights.scm | |
parent | 8a757954728b52ec92843388049dcaea60db8e3c (diff) |
remove duplicate entries from theme picker (#3439)
Diffstat (limited to 'runtime/queries/dockerfile/highlights.scm')
0 files changed, 0 insertions, 0 deletions