diff options
| author | David Aspinall | 2000-07-12 12:47:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-07-12 12:47:50 +0000 |
| commit | 72d9fc3b1e6633edf59b7357d221b8df5c6e0a2e (patch) | |
| tree | 97fa22e5c8a316c2ea30177f796c0f5119d3430b /html/proofgen.css | |
| parent | 655feae949e6cd6b19778d819305bc192846217d (diff) | |
Make proof-splash-message autoload.
Diffstat (limited to 'html/proofgen.css')
0 files changed, 0 insertions, 0 deletions