diff options
| author | James Pollard <james@pollard.dev> | 2020-06-30 17:39:09 +0100 |
|---|---|---|
| committer | James Pollard <james@pollard.dev> | 2020-06-30 17:39:09 +0100 |
| commit | a8aaca57d901e219d52ccae03833a59a75aaafe2 (patch) | |
| tree | 6b56c0964663257e9cf06f989fa3bd6aaee9ea11 /src/common | |
| parent | ffc978ec677f2f37ab8d8d1bf865cddadf087b81 (diff) | |
| parent | f26f3887d0b0ac286c317a5425a3a4781871cfc2 (diff) | |
| download | vericert-a8aaca57d901e219d52ccae03833a59a75aaafe2.tar.gz vericert-a8aaca57d901e219d52ccae03833a59a75aaafe2.zip | |
Merge branch 'develop' of github.com:ymherklotz/coqup into develop
Diffstat (limited to 'src/common')
0 files changed, 0 insertions, 0 deletions