diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-01-15 21:40:36 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-01-15 21:40:36 +0000 |
commit | 822a2975a66f4a80776289506a52a71b9b208afe (patch) | |
tree | 991296291f85fdc3de3fe718ecc127946d9fd950 /benchmarks | |
parent | 6a892863d6e88fb4ce889007f98f2acb1a27c381 (diff) | |
download | vericert-822a2975a66f4a80776289506a52a71b9b208afe.tar.gz vericert-822a2975a66f4a80776289506a52a71b9b208afe.zip |
Fix website build by adding correct path
Diffstat (limited to 'benchmarks')
0 files changed, 0 insertions, 0 deletions