diff options
| author | David Aspinall | 1999-12-01 19:14:33 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-12-01 19:14:33 +0000 |
| commit | 355c89f4ad30f7783c9beadf1d105e8dc6f2a127 (patch) | |
| tree | c02b812e0bdec1469fa25bc989ec1902b5dfede6 /html/proofgen.css | |
| parent | ceea5305ac0f9a24efd7c2082ab91e4f53a633e2 (diff) | |
Fix HTML errors.
Diffstat (limited to 'html/proofgen.css')
0 files changed, 0 insertions, 0 deletions