diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-12-30 12:23:17 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-12-30 12:23:17 +0000 |
| commit | 865e09957e9af06e2e4626ce87d02a4de46cbdf7 (patch) | |
| tree | 6f51ad2c2eda339265140fc37e9859e89b4b0426 /dune | |
| parent | 051b2d07e66a89281fde102e850a4fc386dabdae (diff) | |
| download | vericert-865e09957e9af06e2e4626ce87d02a4de46cbdf7.tar.gz vericert-865e09957e9af06e2e4626ce87d02a4de46cbdf7.zip | |
Invert logic on the variant function
Diffstat (limited to 'dune')
0 files changed, 0 insertions, 0 deletions