summaryrefslogtreecommitdiff
path: root/test/.gitignore
diff options
context:
space:
mode:
authorCamil Staps2017-11-22 17:04:10 +0100
committerCamil Staps2017-11-22 17:04:10 +0100
commit542a29eb1986599d780bacfe92620eaafb03f921 (patch)
tree1c91f3e8aacdcf64722e425a09769e443584d4c3 /test/.gitignore
parentMerge branch '8-quickcheck-property-pinned-pieces-cannot-move' into 'master' (diff)
Add reports on triviality of test cases
Diffstat (limited to 'test/.gitignore')
0 files changed, 0 insertions, 0 deletions