From 931121ebf1e2a4bfc4abe6ad7c78085b04bab363 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Fri, 24 Jan 2014 18:44:43 +0100
Subject: Get rid of two utility files, obsolete now that configure is a .ml

---
 tools/escape_string.ml |  1 -
 tools/mingwpath.ml     | 15 ---------------
 2 files changed, 16 deletions(-)
 delete mode 100644 tools/escape_string.ml
 delete mode 100644 tools/mingwpath.ml

diff --git a/tools/escape_string.ml b/tools/escape_string.ml
deleted file mode 100644
index 50e8faadaa..0000000000
--- a/tools/escape_string.ml
+++ /dev/null
@@ -1 +0,0 @@
-print_string (String.escaped Sys.argv.(1))
diff --git a/tools/mingwpath.ml b/tools/mingwpath.ml
deleted file mode 100644
index f01b62ccef..0000000000
--- a/tools/mingwpath.ml
+++ /dev/null
@@ -1,15 +0,0 @@
-(** Mingwpath *)
-
-(** Converts mingw-encoded filenames such as:
-
-      /c/Program Files/Ocaml/bin
-
-    to a more windows-friendly form (but still with / instead of \) :
-
-      c:/Program Files/Ocaml/bin
-
-    This nice hack was suggested by Benjamin Monate (cf bug #2526)
-    to mimic the cygwin-specific tool cygpath
-*)
-
-print_string Sys.argv.(1)
-- 
cgit v1.2.3