aboutsummaryrefslogtreecommitdiff
path: root/runtime/queries/lean
diff options
context:
space:
mode:
authorBlaž Hrastnik2022-10-21 04:27:05 +0000
committerBlaž Hrastnik2022-10-21 04:27:05 +0000
commit74a6a2282e79190baa59cd52907e014b31331819 (patch)
treed2d8f749075354bc5f63c888d54e48f3407a5f2d /runtime/queries/lean
parent511d9d8a527d8c3dbce6ae1f9a0f5d7beaaf4b28 (diff)
Add undercurl styles to the default theme
Diffstat (limited to 'runtime/queries/lean')
0 files changed, 0 insertions, 0 deletions