diff options
| author | Lawrence Dunn | 2020-04-02 12:56:27 -0400 |
|---|---|---|
| committer | Lawrence Dunn | 2020-04-02 12:56:27 -0400 |
| commit | a03dc31801972cbcff38035a30711da34d66ed78 (patch) | |
| tree | cc055dd0397f55e845308485c3c2586b4b59a9a7 /doc/proofgen.css | |
| parent | 71748af5bc0f813d4c6a42f303d2c2cec85b3c9a (diff) | |
Correct documentation
Diffstat (limited to 'doc/proofgen.css')
0 files changed, 0 insertions, 0 deletions