diff options
| author | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-02-19 23:50:33 +0100 |
|---|---|---|
| committer | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-02-19 23:50:33 +0100 |
| commit | 0f5b429c85b94c1655b0e1fa186d51510137e9a5 (patch) | |
| tree | ef64ff652529e22ad4350eb7ba4d62433ee4a4f8 /COPYING | |
| parent | 62cf73f61556ad494ebe98dc6bb349086da5453c (diff) | |
Do not fail loading the system if the compilation directory does not exist yet.
darcs-hash:171f57ad9afc7f8e98c79aeb3bd854e5508dc968
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions