diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-06-14T08·34+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-06-14T08·34+0000 |
| commit | b57189174f6e11c3e9e0f7c65c08a72f689fe194 (patch) | |
| tree | eb5a455ce6e8bcbcd7091a04f1580fd0cf01b8fe /release.nix | |
| parent | f16fe2af8d59fef156c29077a240a832d3e60ef2 (diff) | |
* In importPath() and exportPath(), lock the temporary directory to
prevent it from being deleted by the garbage collector.
Diffstat (limited to 'release.nix')
0 files changed, 0 insertions, 0 deletions