diff options
| author | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-01-27 10:25:35 +0000 |
|---|---|---|
| committer | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-01-27 10:25:35 +0000 |
| commit | f055f31efca6f1beea3fb65a06e16265e481e63e (patch) | |
| tree | e83a70934db0da4b9cccc68f1294dff9ca593e9a /configs | |
| parent | d43194dfaff6028b9755250a5ef16c8ee2dbcd28 (diff) | |
Tidies for HTML and Texinfo versions of the new spec.
Diffstat (limited to 'configs')
0 files changed, 0 insertions, 0 deletions