about summary refs log tree commit diff
path: root/ChangeLog
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2011-12-25T16·38+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2011-12-25T16·38+0000
commit8c42a8c8ff2986940a41d46b0bdaa1c2ff0f15ad (patch)
tree9149bcc1608f14a31b79a8165a772d127e90c196 /ChangeLog
parent524fa8a4f11826fdf22005f3304366856f72ffa5 (diff)
* Make sure that lock files are cleaned up properly when building
  through the build hook.

Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions