diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-02-02T15·29+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-02-02T15·29+0000 |
| commit | e839802720af75e5af321b46a3921695ed696e79 (patch) | |
| tree | 7aa5cb40dd481d52d1e529891b746c32a5bf89d5 /externals | |
| parent | 4bbbe25802ee5d625d05b9566bcc488b93974692 (diff) | |
* Don't do a chdir to $tmpDir. It's not necessary, and Windows doesn't
support deleting the current directory.
Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions