Remove configure.ml

Resolves #700.
ocsigen · Dec 15, 2019 · a5c9c03 · a5c9c03
1 parent 97572d4
commit a5c9c03
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 55 deletions.
diff --git a/src/unix/config/configure.ml b/src/unix/config/configure.ml
diff --git a/src/unix/config/dune b/src/unix/config/dune
@@ -1,7 +1,3 @@
-(executable
- (name configure)
- (modules configure))
-
 (executable
  (name discover)
  (modules discover)