| 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
|
|
|