diff options
| author | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-03-29 15:21:57 +0000 |
|---|---|---|
| committer | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-03-29 15:21:57 +0000 |
| commit | d1d97a7641e06d3372f2ded9e5cb1e97b86d3c40 (patch) | |
| tree | f9e4db3a1affd76de73f2c12b7f0b56ab57d7a13 /doc/doc-misc | |
| parent | 901f42cb9f12332dd04a14cea87d47ef7e66e2e2 (diff) | |
Small documentation change from Michael Haardt.
Diffstat (limited to 'doc/doc-misc')
0 files changed, 0 insertions, 0 deletions