diff options
| author | Jaron Kent-Dobias <jaron@kent-dobias.com> | 2022-10-20 16:46:00 +0200 |
|---|---|---|
| committer | Jaron Kent-Dobias <jaron@kent-dobias.com> | 2022-10-20 16:46:00 +0200 |
| commit | 85b28e181dee40cf0940a322e6f9edbff13f401e (patch) | |
| tree | cac8ae208d793ee112f4141dcc41381fb8a08913 /proofs | |
| parent | 7fc64027fba299f53ac8d037588391c13263f95c (diff) | |
| download | PRE_107_064111-85b28e181dee40cf0940a322e6f9edbff13f401e.tar.gz PRE_107_064111-85b28e181dee40cf0940a322e6f9edbff13f401e.tar.bz2 PRE_107_064111-85b28e181dee40cf0940a322e6f9edbff13f401e.zip | |
Spelling in title.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions