diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-05-10 20:36:03 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-05-10 20:36:03 +0100 |
commit | d7230c6c5c332ce4767e8300f652f8f17dae7850 (patch) | |
tree | a371c8c65830a1ebbf2b40ae155516ab30c76e5f /scripts/download_artifact.sh | |
parent | 61714e10c2ffe86acb8c148914ae1d8250630090 (diff) | |
download | vericert-kvx-d7230c6c5c332ce4767e8300f652f8f17dae7850.tar.gz vericert-kvx-d7230c6c5c332ce4767e8300f652f8f17dae7850.zip |
Fix admitted in first proof of sem. preservation
Diffstat (limited to 'scripts/download_artifact.sh')
0 files changed, 0 insertions, 0 deletions