diff options
| author | James Pollard <james@pollard.dev> | 2020-06-22 17:15:29 +0100 |
|---|---|---|
| committer | James Pollard <james@pollard.dev> | 2020-06-22 17:15:29 +0100 |
| commit | be6ad3cd886b3ea79abe6addc2f2add779f55292 (patch) | |
| tree | 2c17b96f3fa650e7dcc1f14f2dccde990df5d54d /.gitmodules | |
| parent | e05b93c540d2e0e2cb9f4ab01460eba080b65401 (diff) | |
| download | vericert-be6ad3cd886b3ea79abe6addc2f2add779f55292.tar.gz vericert-be6ad3cd886b3ea79abe6addc2f2add779f55292.zip | |
Tidy up proof for Aindexed2scaled.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions