diff options
author | simonmar <unknown> | 2002-04-05 16:11:47 +0000 |
---|---|---|
committer | simonmar <unknown> | 2002-04-05 16:11:47 +0000 |
commit | 972805252bba410dcc6f7093d1a8a357cab502d4 (patch) | |
tree | a248b459b1a61befb79e9a9b4d50ada8800e2390 /src/Makefile | |
parent | c5d9a471f2e6a3430cdd717e306d3aa0148c5c96 (diff) |
[haddock @ 2002-04-05 16:11:47 by simonmar]
- Update to generate more correct HTML.
- Use our own non-overloaded table combinators, as the overloaded
versions were giving me a headache. The improved type safety
caught several errors in the HTML generation.
Diffstat (limited to 'src/Makefile')
0 files changed, 0 insertions, 0 deletions