diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 21:26:29 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 21:26:29 +0000 |
commit | 52b050695d489512e2118f1535348f18359322db (patch) | |
tree | 3b9fce97e4741449364ae0b74c35c72b5aa1e1bd /scripts/Makefile | |
parent | eb95db64b07f8f9daac9944751803506fdfbd577 (diff) | |
download | vericert-52b050695d489512e2118f1535348f18359322db.tar.gz vericert-52b050695d489512e2118f1535348f18359322db.zip |
Add a license to synthesis-results
Diffstat (limited to 'scripts/Makefile')
0 files changed, 0 insertions, 0 deletions