diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-08-04 20:27:07 +0200 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-08-04 20:27:07 +0200 |
| commit | 4b433258deffec9207451fb30e4103462c704781 (patch) | |
| tree | 3fcda62ea8eb60ffff50fb1733310e500a7d053d /vericert.opam | |
| parent | b1aff2a1a6d45a253d87c01b4c967376491597dc (diff) | |
| download | vericert-kvx-4b433258deffec9207451fb30e4103462c704781.tar.gz vericert-kvx-4b433258deffec9207451fb30e4103462c704781.zip | |
Remove last admits from istore
Diffstat (limited to 'vericert.opam')
0 files changed, 0 insertions, 0 deletions