aboutsummaryrefslogtreecommitdiff
path: root/html/proofgen.css
diff options
context:
space:
mode:
authorDavid Aspinall2001-09-03 12:53:51 +0000
committerDavid Aspinall2001-09-03 12:53:51 +0000
commit91150509614284e1cb3d08f72ee6fa26a492d31d (patch)
tree49a2b978f799df7216c59f482fb1b55d20b7890a /html/proofgen.css
parent1dc29c0a0a3551ceb9e5c7bf500809fab916d654 (diff)
Fix link to screenshot
Diffstat (limited to 'html/proofgen.css')
0 files changed, 0 insertions, 0 deletions