about summary refs log tree commit diff
path: root/scripts
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-11-21T16·05+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-11-21T16·05+0000
commit7a02d954186d6ba1ea41d9917d63f9fab84736b3 (patch)
tree09b42785f1b34f1d6cbe2781e721b9ddd697639a /scripts
parent06208d1d8677eaea1fb56dd09832f43154bbab5d (diff)
* Remove lock files after building.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions