summaryrefslogtreecommitdiff
path: root/runtime/queries/koka
ModeNameSize
-rw-r--r--highlights.scm2772logplainblame
-rw-r--r--indents.scm843logplainblame
-rw-r--r--injections.scm90logplainblame
-rw-r--r--locals.scm442logplainblame