diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-04-04 13:13:37 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-04-04 13:13:37 +0100 |
| commit | 2cec98b19da0abd58f017dadfd487a1c9caa96b3 (patch) | |
| tree | a1ce51b515e7ff0bdb792ebe969213fb7f25a9ec /Makefile | |
| parent | e57c1968ec6dddeb95f815515fd501f4a25d6901 (diff) | |
| download | vericert-kvx-2cec98b19da0abd58f017dadfd487a1c9caa96b3.tar.gz vericert-kvx-2cec98b19da0abd58f017dadfd487a1c9caa96b3.zip | |
Finish store proof without admit
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions