diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-05-14T12·16+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-05-14T12·16+0000 |
| commit | 7046c35843af7c6232efc7e7ee23b26096e0c692 (patch) | |
| tree | e21884c221492912873836a8c5245a829cb79d64 /doc/manual/manual.xml | |
| parent | e5da9c88039c360065f20cfd513f2fe68430f04a (diff) | |
* Typo (reported by Marc Weber).
Diffstat (limited to 'doc/manual/manual.xml')
0 files changed, 0 insertions, 0 deletions