summaryrefslogtreecommitdiff
path: root/runtime/queries/agda
ModeNameSize
-rw-r--r--highlights.scm2052logplainblame