diff options
author | Kirawi | 2022-08-02 15:13:22 +0000 |
---|---|---|
committer | GitHub | 2022-08-02 15:13:22 +0000 |
commit | 69f84e25165d62d0f38bcc80bf9108f9c0802cad (patch) | |
tree | ac5cbcce11a1296f36afc21c217b57ca8310a4a7 /runtime/queries | |
parent | aa4394ce1291b0af0b6da5e54cfa60a4c13f7aab (diff) |
theme `ui.virtual.indent-guide` in `dark_plus` (#3302)
Diffstat (limited to 'runtime/queries')
0 files changed, 0 insertions, 0 deletions