Add empty mli to catch unused values in executables

ygrek · Jan 8, 2021 · 13d1ebc · 13d1ebc
1 parent 4c2c932
commit 13d1ebc
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/discover/discover.mli b/discover/discover.mli
diff --git a/ppx_have/ppx_have.mli b/ppx_have/ppx_have.mli