diff options
author | Camil Staps | 2017-11-20 13:56:27 +0100 |
---|---|---|
committer | Camil Staps | 2017-11-20 13:56:27 +0100 |
commit | 70ac5093711eb08bd45bcf7b2e27418703f04306 (patch) | |
tree | 6ab6fa4d6952a95a4421b3e2b590dd8cb9ede44a /test/.gitignore | |
parent | Merge branch 'master' into 5-quickcheck-property-there-can-never-be-a-pawn-on... (diff) |
nomenclature
Diffstat (limited to 'test/.gitignore')
0 files changed, 0 insertions, 0 deletions