diff options
author | Rohan Jain | 2022-01-14 14:33:22 +0000 |
---|---|---|
committer | GitHub | 2022-01-14 14:33:22 +0000 |
commit | 97e6f2a38f28bf0051b96fa6f0f5786746b83e74 (patch) | |
tree | 1c914bef287a65849b894a49fbc36338bdac8e2f /runtime/queries/ocaml | |
parent | 6bfd001b485dd27ba5fe3d22d27f021596dce4b8 (diff) |
Add gruvbox-light theme (#1509)
Similar to `gruvbox`, add the light version as well.
Diffstat (limited to 'runtime/queries/ocaml')
0 files changed, 0 insertions, 0 deletions