diff options
Diffstat (limited to 'runtime/queries/lean/injections.scm')
| -rw-r--r-- | runtime/queries/lean/injections.scm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/runtime/queries/lean/injections.scm b/runtime/queries/lean/injections.scm new file mode 100644 index 00000000..030714f1 --- /dev/null +++ b/runtime/queries/lean/injections.scm @@ -0,0 +1,2 @@ +((comment) @injection.content + (#set! injection.language "markdown")) |