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