diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-06-22T09·00+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-06-22T09·00+0000 |
| commit | 155d7c8dfa46da054beaf37d6415d52613e2bb17 (patch) | |
| tree | ff4ddf52b5fa97c2c94ade89f1ba4ab9d1ef3db1 /INSTALL | |
| parent | c4cb6ea2bc77f1f9239ce81ffc7a0fa6b540b1ab (diff) | |
* Substitutes should occupy a build slot.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions