summaryrefslogtreecommitdiff
path: root/ale_linters/idris
ModeNameSize
-rw-r--r--idris.vim2427logplain