summaryrefslogtreecommitdiff
path: root/runtime/queries/lean/injections.scm
blob: 030714f1ce1727790c3ceaab7cad7240259db814 (plain) (blame)
1
2
((comment) @injection.content
 (#set! injection.language "markdown"))