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