diff options
| author | David Aspinall | 1999-12-01 19:15:04 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-12-01 19:15:04 +0000 |
| commit | 1d767c3feb41ecaa6b7c46ac599252c8393e3b96 (patch) | |
| tree | 894fa0069422e28782a3918b153d82277e1c2227 /html/proofgen.css | |
| parent | 355c89f4ad30f7783c9beadf1d105e8dc6f2a127 (diff) | |
Fix HTML errors by adding name arg to dt() function.
Diffstat (limited to 'html/proofgen.css')
0 files changed, 0 insertions, 0 deletions