diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-12-17 10:04:37 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-12-17 10:04:37 +0000 |
commit | f353cc0a0a6b22236be74dfd1d04400a97b1b6f1 (patch) | |
tree | d95ff2cb55afc5a12a9766fced839e8e62748198 /_CoqProject | |
parent | 8a0bd7b74939b65a89b81352b238d1d8252fb278 (diff) | |
download | vericert-f353cc0a0a6b22236be74dfd1d04400a97b1b6f1.tar.gz vericert-f353cc0a0a6b22236be74dfd1d04400a97b1b6f1.zip |
Add license mentioning copyright of SoftwarePipelining
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions