diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-21T16·05+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-21T16·05+0000 |
| commit | 7a02d954186d6ba1ea41d9917d63f9fab84736b3 (patch) | |
| tree | 09b42785f1b34f1d6cbe2781e721b9ddd697639a /scripts | |
| parent | 06208d1d8677eaea1fb56dd09832f43154bbab5d (diff) | |
* Remove lock files after building.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions