summaryrefslogtreecommitdiff
path: root/test/.gitignore
diff options
context:
space:
mode:
authorCamil Staps2017-11-20 13:56:27 +0100
committerCamil Staps2017-11-20 13:56:27 +0100
commit70ac5093711eb08bd45bcf7b2e27418703f04306 (patch)
tree6ab6fa4d6952a95a4421b3e2b590dd8cb9ede44a /test/.gitignore
parentMerge 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