diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-08-12 19:14:49 +0200 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-08-12 19:15:03 +0200 |
| commit | 78898d5e6316b2a43398e12549ff9754883ed9d8 (patch) | |
| tree | aeb30c15133069a8ac632bd29238c0e32ac2583c /README.md | |
| parent | f9d3eaa70b8818d6e3d3ac57e789f58a99ae64e6 (diff) | |
| download | vericert-kvx-78898d5e6316b2a43398e12549ff9754883ed9d8.tar.gz vericert-kvx-78898d5e6316b2a43398e12549ff9754883ed9d8.zip | |
Remove unnecessary commented proof
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions