Merge pull request #114 from rgrinberg/no-mli-only

Get rid of mli only module
mirage · Apr 8, 2018 · 5fcd4e3 · 5fcd4e3
2 parents 0c1958b + 03005c6
commit 5fcd4e3
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/lib/s.mli → lib/s.ml b/lib/s.mli → lib/s.ml