diff options
Diffstat (limited to 'runtime/queries/agda/injections.scm')
| -rw-r--r-- | runtime/queries/agda/injections.scm | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/runtime/queries/agda/injections.scm b/runtime/queries/agda/injections.scm index a772e0bd9..2f0e58eb6 100644 --- a/runtime/queries/agda/injections.scm +++ b/runtime/queries/agda/injections.scm @@ -1,14 +1,2 @@ ((comment) @injection.content (#set! injection.language "comment")) - -((comment) @injection.content - (#lua-match? @injection.content "^///[^/]") - (#set! injection.language "doxygen")) - -((comment) @injection.content - (#lua-match? @injection.content "^///$") - (#set! injection.language "doxygen")) - -((comment) @injection.content - (#lua-match? @injection.content "^/[*][*][^*].*[*]/$") - (#set! injection.language "doxygen")) |