diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-07-24 10:58:51 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-07-24 10:58:51 +0100 |
| commit | 7f633ad8c9b7d4580fe1a0a1b780ca4486e3fe99 (patch) | |
| tree | 098d4b16d44b592256769f20ba8ec27d8b5e284b /vericert.opam | |
| parent | b6a094c0e3b1b5bef06d932fc73f09aba88a4fda (diff) | |
| download | vericert-7f633ad8c9b7d4580fe1a0a1b780ca4486e3fe99.tar.gz vericert-7f633ad8c9b7d4580fe1a0a1b780ca4486e3fe99.zip | |
Add more descriptions to README
Diffstat (limited to 'vericert.opam')
0 files changed, 0 insertions, 0 deletions