diff options
| author |  Rogan Creswick <creswick@galois.com> | 2012-03-31 08:08:11 -0700 |
|---|---|---|
| committer | Rogan Creswick <creswick@galois.com> | 2012-03-31 08:08:11 -0700 |
| commit | ec532e93339a942a395829ec87f427852cd72e00 (patch) | |
| tree | f6ad13ca7f90f26fda9bc23e428ee367f153e3d2 /tools/addon-sdk-1.4/bin/deactivate.bat | |
| parent | 780bf48de85215f5b0b6fde0df40599ac6f9c037 (diff) | |
removed older addon-sdks from tools
Diffstat (limited to 'tools/addon-sdk-1.4/bin/deactivate.bat')
| -rw-r--r-- | tools/addon-sdk-1.4/bin/deactivate.bat | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/tools/addon-sdk-1.4/bin/deactivate.bat b/tools/addon-sdk-1.4/bin/deactivate.bat deleted file mode 100644 index 885e951..0000000 --- a/tools/addon-sdk-1.4/bin/deactivate.bat +++ /dev/null @@ -1,20 +0,0 @@ -@echo off
-
-if defined _OLD_VIRTUAL_PROMPT (
- set "PROMPT=%_OLD_VIRTUAL_PROMPT%"
-)
-set _OLD_VIRTUAL_PROMPT=
-
-if defined _OLD_VIRTUAL_PATH (
- set "PATH=%_OLD_VIRTUAL_PATH%"
-)
-set _OLD_VIRTUAL_PATH=
-
-if defined _OLD_PYTHONPATH (
- set "PYTHONPATH=%_OLD_PYTHONPATH%"
-)
-set _OLD_PYTHONPATH=
-
-set CUDDLEFISH_ROOT=
-
-:END
|