diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-09-15 15:54:09 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-15 15:54:09 +0100 |
commit | e0894caeb8b3c2cc841bade7e26581f6b206246f (patch) | |
tree | d464815d19e9bb120557ac534d2c9c17107afdc5 /dune | |
parent | 4f074002b6c2b626a3f41528e9b3bdf62b82e2bc (diff) | |
download | vericert-e0894caeb8b3c2cc841bade7e26581f6b206246f.tar.gz vericert-e0894caeb8b3c2cc841bade7e26581f6b206246f.zip |
Move license to the SoftwarePipelining directory
Diffstat (limited to 'dune')
0 files changed, 0 insertions, 0 deletions