Index: tools/mb/mb.bat |
diff --git a/tools/mb/mb.bat b/tools/mb/mb.bat |
deleted file mode 100755 |
index a82770e714a24ce1d2a3d76064ef9e30ad97b2bb..0000000000000000000000000000000000000000 |
--- a/tools/mb/mb.bat |
+++ /dev/null |
@@ -1,6 +0,0 @@ |
-@echo off |
-setlocal |
-:: This is required with cygwin only. |
-PATH=%~dp0;%PATH% |
-set PYTHONDONTWRITEBYTECODE=1 |
-call python "%~dp0mb.py" %* |