diff options
author | Grenier CĂ©lestin | 2022-06-17 11:24:18 +0000 |
---|---|---|
committer | GitHub | 2022-06-17 11:24:18 +0000 |
commit | 33ea3eff052a38af9dc8cda8fa934aa3ee3dd2e9 (patch) | |
tree | 8ee3f2a9200a190e3e82e6ccaae4829031c5f877 /runtime/queries | |
parent | 21d12e1487f98b5dea93eba7bdc53d303932f990 (diff) |
Update theme base16_default (`ui.menu`) (#2794)
Diffstat (limited to 'runtime/queries')
0 files changed, 0 insertions, 0 deletions