diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-06-22 17:53:54 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-22 17:53:54 +0100 |
commit | 3ec28d050aebc305c6df5b4b95bcf91498ff11cc (patch) | |
tree | a44487a90e334a22550a2e64c26d59329daf1170 /src/translation | |
parent | 9491b9dda35897c8abde560b79a323d47aac0ec4 (diff) | |
download | vericert-kvx-3ec28d050aebc305c6df5b4b95bcf91498ff11cc.tar.gz vericert-kvx-3ec28d050aebc305c6df5b4b95bcf91498ff11cc.zip |
Admit the value proof
Diffstat (limited to 'src/translation')
0 files changed, 0 insertions, 0 deletions