Closed Leonidas-from-XIV closed 6 years ago
What the caption says, I made it track .ml (OCaml source) and .mli (OCaml interface) files.
.ml
.mli
I think I removed the base repository, so this can't even be merged anymore. Time to move on.
What the caption says, I made it track
.ml
(OCaml source) and.mli
(OCaml interface) files.