aboutsummaryrefslogtreecommitdiff
path: root/runtime/queries/lean
diff options
context:
space:
mode:
authorLuca Saccarola2023-01-21 22:52:56 +0000
committerGitHub2023-01-21 22:52:56 +0000
commitd99a72053676658759ef6ae7531f432daabb025a (patch)
tree5b7974fd487418aaf0999b6644518846452b1e0f /runtime/queries/lean
parentf103d2273baef3f0e71b896419fda4538b6c6cde (diff)
theme: make dracula ui.virtual.whitespace less intrusive (#5627)
Diffstat (limited to 'runtime/queries/lean')
0 files changed, 0 insertions, 0 deletions