From 3388e1e628af3d69d55ec53c976429c9c889c51a Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Fri, 11 Dec 2015 18:00:38 +0000 Subject: [PATCH] Removed superfluous file. --- mk-2013.cmd | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 mk-2013.cmd diff --git a/mk-2013.cmd b/mk-2013.cmd deleted file mode 100644 index a760b9001..000000000 --- a/mk-2013.cmd +++ /dev/null @@ -1,4 +0,0 @@ -@echo off - -rem Ocaml is VS2013, so need VS2013 command prompt for it to work! -python scripts/mk_make.py -b bld_dbg_2013 --java --ml --debug --vs --parallel=12