diff --git a/src/GitList/Util/Repository.php b/src/GitList/Util/Repository.php index b0e69b6..1295276 100644 --- a/src/GitList/Util/Repository.php +++ b/src/GitList/Util/Repository.php @@ -40,6 +40,8 @@ class Repository 'md' => 'markdown', 'markdown' => 'markdown', 'sql' => 'mysql', + 'ml' => 'ocaml', + 'mli' => 'ocaml', 'pl' => 'perl', 'pm' => 'perl', 'pas' => 'pascal',