diff options
| author | David Aspinall | 1999-06-30 18:05:06 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-06-30 18:05:06 +0000 |
| commit | a719f0d622b32ad1d1e0471afa5dcf0cbb6f5c65 (patch) | |
| tree | 957b34494b22951fe5271a5c0ca06cdb75c9f28d /html/proofgen.css | |
| parent | e0725dc19c023cfed3463c356225b77da9026a15 (diff) | |
Note about compilation
Diffstat (limited to 'html/proofgen.css')
0 files changed, 0 insertions, 0 deletions