diff options
| author | James Pollard <james@pollard.dev> | 2020-07-02 17:00:47 +0100 |
|---|---|---|
| committer | James Pollard <james@pollard.dev> | 2020-07-02 17:00:47 +0100 |
| commit | 2b24cee5c228d36bfbe27799063df9797e85f17f (patch) | |
| tree | 47df2d6dcd356f04808b8cdb0b70f4f4b7b8d3b1 /src/common | |
| parent | 74819dfa35ee60feb81811247d59775bd66630d0 (diff) | |
| parent | 3d1aa19a70e00dfcb4733b8b478d4865c86e7cd9 (diff) | |
| download | vericert-2b24cee5c228d36bfbe27799063df9797e85f17f.tar.gz vericert-2b24cee5c228d36bfbe27799063df9797e85f17f.zip | |
Merge branch 'develop' of github.com:ymherklotz/coqup into develop
Diffstat (limited to 'src/common')
0 files changed, 0 insertions, 0 deletions