diff options
| author | Nadrieril | 2019-04-25 14:27:15 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-25 14:27:15 +0200 |
| commit | 550ddaa95469478ce9c331da501e62534f5e2d1b (patch) | |
| tree | 5ed67f849008c5d9aafa1f9b359761ead38b1b72 /.gitignore | |
| parent | ff1bee1b115a5b9528be621502719cc4faeffaee (diff) | |
Revert "Try property testing against reference implementation"
This reverts commit ff1bee1b115a5b9528be621502719cc4faeffaee.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions