diff options
| author | Jaron Kent-Dobias <jaron@kent-dobias.com> | 2023-01-26 16:05:14 +0100 |
|---|---|---|
| committer | Jaron Kent-Dobias <jaron@kent-dobias.com> | 2023-01-26 16:05:14 +0100 |
| commit | 42f025aec095f13d07270109999e88a6b2f2273c (patch) | |
| tree | fabac3e13c816e6be1d83e82e4fe32497c0cbd89 /proofs | |
| parent | 878779bb9266aaa754997daf3ace05d32fceaa82 (diff) | |
| download | PRE_107_064111-42f025aec095f13d07270109999e88a6b2f2273c.tar.gz PRE_107_064111-42f025aec095f13d07270109999e88a6b2f2273c.tar.bz2 PRE_107_064111-42f025aec095f13d07270109999e88a6b2f2273c.zip | |
Small edit.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions