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 /doc/manual/manual.xml | |
| parent | 7660e2a0684e57c2f7f014a6f457b7866e2b9e22 (diff) | |
* Produce the manual in the tarball job.
Diffstat (limited to 'doc/manual/manual.xml')
0 files changed, 0 insertions, 0 deletions