summaryrefslogtreecommitdiff
path: root/ale_linters/ocamlinterface
AgeCommit message (Expand)Author
2021-05-27ocaml: prepare for filetype separation (#3732)Pau Ruiz Safont