summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorPau Ruiz Safont <unduthegun@gmail.com>2020-09-10 18:44:09 +0100
committerStephan Seitz <stephan.lauf@yahoo.de>2020-09-19 13:35:12 +0200
commit749a8a7f25f6aaee7adcb2c0d6b4cbcf98695346 (patch)
treec01035a2007416548e422bd5a4635549a032b2c0 /.github
parent76c00934a653b0b66d4bb3f747dd95ade276c6a4 (diff)
feat: add parser for ocaml interface files
The files have the mli extension. The parser grammar uses the name ocaml_interface, but since vim the underscore has a special meaning ocamlinterface is used as the filetype.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions