diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-05-07T12·57+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-05-07T12·57+0000 |
commit | 404996ca1f2089511b90666ce092377ade830139 (patch) | |
tree | 897d87bd57b53a96968aa97f7d3c8bdc5e0b81ca /INSTALL | |
parent | 7660e2a0684e57c2f7f014a6f457b7866e2b9e22 (diff) |
* Produce the manual in the tarball job.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions