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 /.github/workflows | |
parent | f9d3eaa70b8818d6e3d3ac57e789f58a99ae64e6 (diff) | |
download | vericert-kvx-78898d5e6316b2a43398e12549ff9754883ed9d8.tar.gz vericert-kvx-78898d5e6316b2a43398e12549ff9754883ed9d8.zip |
Remove unnecessary commented proof
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions