summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--identify/extensions.py2
-rw-r--r--setup.cfg2
2 files changed, 3 insertions, 1 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'},
diff --git a/setup.cfg b/setup.cfg
index 805c4be..cffd029 100644
--- a/setup.cfg
+++ b/setup.cfg
@@ -1,6 +1,6 @@
[metadata]
name = identify
-version = 1.4.14
+version = 1.4.15
description = File identification library for Python
long_description = file: README.md
long_description_content_type = text/markdown