diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-12-25T16·38+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-12-25T16·38+0000 |
commit | 8c42a8c8ff2986940a41d46b0bdaa1c2ff0f15ad (patch) | |
tree | 9149bcc1608f14a31b79a8165a772d127e90c196 /COPYING | |
parent | 524fa8a4f11826fdf22005f3304366856f72ffa5 (diff) |
* Make sure that lock files are cleaned up properly when building
through the build hook.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions