Index: bootstrap/virtualenv/virtualenv_embedded/deactivate.bat |
diff --git a/bootstrap/virtualenv/virtualenv_embedded/deactivate.bat b/bootstrap/virtualenv/virtualenv_embedded/deactivate.bat |
deleted file mode 100644 |
index fd4db26459835fb694ba2267539ccde6c7c0d7cb..0000000000000000000000000000000000000000 |
--- a/bootstrap/virtualenv/virtualenv_embedded/deactivate.bat |
+++ /dev/null |
@@ -1,20 +0,0 @@ |
-@echo off |
- |
-set VIRTUAL_ENV= |
- |
-if defined _OLD_VIRTUAL_PROMPT ( |
- set "PROMPT=%_OLD_VIRTUAL_PROMPT%" |
- set _OLD_VIRTUAL_PROMPT= |
-) |
- |
-if defined _OLD_VIRTUAL_PYTHONHOME ( |
- set "PYTHONHOME=%_OLD_VIRTUAL_PYTHONHOME%" |
- set _OLD_VIRTUAL_PYTHONHOME= |
-) |
- |
-if defined _OLD_VIRTUAL_PATH ( |
- set "PATH=%_OLD_VIRTUAL_PATH%" |
- set _OLD_VIRTUAL_PATH= |
-) |
- |
-:END |