summaryrefslogtreecommitdiff
path: root/runtime/queries/lean/locals.scm
Commit message (Collapse)AuthorAge