diff options
| author | broke | 2023-06-07 23:13:08 +0000 |
|---|---|---|
| committer | GitHub | 2023-06-07 23:13:08 +0000 |
| commit | ef5bcd5060e6298a2deae53a7c29514d4a50a2fc (patch) | |
| tree | 49d53e43044e8c0e46c9ccb19576092c3d16a5ea /runtime/queries/ocaml/locals.scm | |
| parent | d324feb07244e0649229b845a92f0d0b8a0ecaf4 (diff) | |
theme: added gruvbox dark soft variant (#7139)
Diffstat (limited to 'runtime/queries/ocaml/locals.scm')
0 files changed, 0 insertions, 0 deletions