1 files changed, 0 insertions, 7 deletions
diff --git a/Coqide.bat b/Coqide.bat
deleted file mode 100755
index f955a970..00000000
--- a/Coqide.bat
+++ /dev/null
@@ -1,7 +0,0 @@
-@echo off
-set COQBIN=%~0\..\bin
-set COQLIB=%~0\..\lib
-echo Using COQBIN= %COQBIN%
-echo and   COQLIB= %COQLIB%
-echo Starting Coqide
-%~0\..\bin\coqide.opt.exe
-\ No newline at end of file