aboutsummaryrefslogtreecommitdiff
path: root/runtime/queries/lean/locals.scm
diff options
context:
space:
mode:
authorfarwyler2022-06-06 17:26:56 +0000
committerGitHub2022-06-06 17:26:56 +0000
commitf0d1c855539cfeb8e66c3602a971857f8c20be0f (patch)
tree2037e57c2eb00adbd053d5c8cc2ae6c60ee7d23d /runtime/queries/lean/locals.scm
parent26dbdb70fb29bdad2e875a776b70815bf5533a34 (diff)
support for openscad (#2680)
Co-authored-by: Michael Davis <mcarsondavis@gmail.com>
Diffstat (limited to 'runtime/queries/lean/locals.scm')
0 files changed, 0 insertions, 0 deletions