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