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