Remove unused file

astrada · Jan 11, 2017 · 87d4d7e · 87d4d7e
1 parent 418a2d7
commit 87d4d7e
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/opam/files/_oasis_remove_.ml b/opam/files/_oasis_remove_.ml