diff options
| author | Blaž Hrastnik | 2022-11-08 12:48:56 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-11-08 12:48:56 +0000 |
| commit | cd8bbbc0443554125d375ec764d174c68f3ac710 (patch) | |
| tree | 9d7b27806e0d064cddbd3ff1691d04ddd831ad53 /runtime/queries/lean/locals.scm | |
| parent | 7ed9e9cf2567ee5e23cd8694ffccb4b38602c02a (diff) | |
fix tests
Diffstat (limited to 'runtime/queries/lean/locals.scm')
0 files changed, 0 insertions, 0 deletions