aboutsummaryrefslogtreecommitdiff
path: root/html/proofgen.css
diff options
context:
space:
mode:
authorDavid Aspinall1999-11-26 17:11:50 +0000
committerDavid Aspinall1999-11-26 17:11:50 +0000
commit4f0bf24ef94a6b0f0887c6aa08991a9c711a3ca0 (patch)
tree4de731d7140ae59bda5d861b59b02123ec821676 /html/proofgen.css
parentd4d584b46b20efa27e5c414dc53a13f39652ae83 (diff)
Set version tag for new release.
Diffstat (limited to 'html/proofgen.css')
0 files changed, 0 insertions, 0 deletions