aboutsummaryrefslogtreecommitdiff
path: root/runtime/queries/lean/locals.scm
diff options
context:
space:
mode:
authorBlaž Hrastnik2022-11-08 12:48:56 +0000
committerBlaž Hrastnik2022-11-08 12:48:56 +0000
commitcd8bbbc0443554125d375ec764d174c68f3ac710 (patch)
tree9d7b27806e0d064cddbd3ff1691d04ddd831ad53 /runtime/queries/lean/locals.scm
parent7ed9e9cf2567ee5e23cd8694ffccb4b38602c02a (diff)
fix tests
Diffstat (limited to 'runtime/queries/lean/locals.scm')
0 files changed, 0 insertions, 0 deletions