| Index: bootstrap/virtualenv/virtualenv_embedded/activate.bat
|
| diff --git a/bootstrap/virtualenv/virtualenv_embedded/activate.bat b/bootstrap/virtualenv/virtualenv_embedded/activate.bat
|
| deleted file mode 100644
|
| index 4c2003ef5e9ba0c10d59b40f863d4ed9a8e3fa14..0000000000000000000000000000000000000000
|
| --- a/bootstrap/virtualenv/virtualenv_embedded/activate.bat
|
| +++ /dev/null
|
| @@ -1,26 +0,0 @@
|
| -@echo off
|
| -set "VIRTUAL_ENV=__VIRTUAL_ENV__"
|
| -
|
| -if defined _OLD_VIRTUAL_PROMPT (
|
| - set "PROMPT=%_OLD_VIRTUAL_PROMPT%"
|
| -) else (
|
| - if not defined PROMPT (
|
| - set "PROMPT=$P$G"
|
| - )
|
| - set "_OLD_VIRTUAL_PROMPT=%PROMPT%"
|
| -)
|
| -set "PROMPT=__VIRTUAL_WINPROMPT__ %PROMPT%"
|
| -
|
| -if not defined _OLD_VIRTUAL_PYTHONHOME (
|
| - set "_OLD_VIRTUAL_PYTHONHOME=%PYTHONHOME%"
|
| -)
|
| -set PYTHONHOME=
|
| -
|
| -if defined _OLD_VIRTUAL_PATH (
|
| - set "PATH=%_OLD_VIRTUAL_PATH%"
|
| -) else (
|
| - set "_OLD_VIRTUAL_PATH=%PATH%"
|
| -)
|
| -set "PATH=%VIRTUAL_ENV%\__BIN_NAME__;%PATH%"
|
| -
|
| -:END
|
|
|