diff options
Diffstat (limited to 'runtime/queries/lean/locals.scm')
| -rw-r--r-- | runtime/queries/lean/locals.scm | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/runtime/queries/lean/locals.scm b/runtime/queries/lean/locals.scm new file mode 100644 index 00000000..dd6c2036 --- /dev/null +++ b/runtime/queries/lean/locals.scm @@ -0,0 +1,5 @@ +[ + (module) + (namespace) + (section) +] @local.scope |