diff options
Diffstat (limited to 'identify/extensions.py')
| -rw-r--r-- | identify/extensions.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/identify/extensions.py b/identify/extensions.py index 578b4c1..cd4db92 100644 --- a/identify/extensions.py +++ b/identify/extensions.py @@ -88,6 +88,8 @@ EXTENSIONS = { 'md': {'text', 'markdown'}, 'mib': {'text', 'mib'}, 'mk': {'text', 'makefile'}, + 'ml': {'text', 'ocaml'}, + 'mli': {'text', 'ocaml'}, 'mm': {'text', 'c++', 'objective-c++'}, 'modulemap': {'text', 'modulemap'}, 'ngdoc': {'text', 'ngdoc'}, |