diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-01-15 19:45:58 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-01-15 19:45:58 +0000 |
commit | 90c7fd8d23881e3f120fd003537b0bd86d81ab40 (patch) | |
tree | 3c53ef83747d319fd7e09efe58ecc80f6b221fa9 /vericert.opam | |
parent | bd1fc29d17bdd5d51ec96d429dbc03f21c236d8e (diff) | |
download | vericert-90c7fd8d23881e3f120fd003537b0bd86d81ab40.tar.gz vericert-90c7fd8d23881e3f120fd003537b0bd86d81ab40.zip |
Fix inconsistencies in website
Diffstat (limited to 'vericert.opam')
0 files changed, 0 insertions, 0 deletions