diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-09-25 22:00:58 +0200 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-09-25 22:02:12 +0200 |
| commit | 42ab7386b7d1a312712bf8dd4031c06fce5bc1ff (patch) | |
| tree | 8ef70e4c949587c41a8faaa2adfd2b569b7fdd91 /scripts/settings.sh | |
| parent | f9511b82f6f0edb484b80e77fd531b510728aadc (diff) | |
| download | vericert-42ab7386b7d1a312712bf8dd4031c06fce5bc1ff.tar.gz vericert-42ab7386b7d1a312712bf8dd4031c06fce5bc1ff.zip | |
Add incremental evaluability check
Diffstat (limited to 'scripts/settings.sh')
0 files changed, 0 insertions, 0 deletions