| Index: bootstrap/virtualenv/virtualenv_embedded/activate.bat | 
| diff --git a/bootstrap/virtualenv/virtualenv_embedded/activate.bat b/bootstrap/virtualenv/virtualenv_embedded/activate.bat | 
| new file mode 100644 | 
| index 0000000000000000000000000000000000000000..4c2003ef5e9ba0c10d59b40f863d4ed9a8e3fa14 | 
| --- /dev/null | 
| +++ b/bootstrap/virtualenv/virtualenv_embedded/activate.bat | 
| @@ -0,0 +1,26 @@ | 
| +@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 | 
|  |