diff options
author | Camil Staps | 2017-11-22 16:51:58 +0100 |
---|---|---|
committer | Camil Staps | 2017-11-22 16:51:58 +0100 |
commit | 5bf752794a6637f1bf4fa8b97a5fbce22f3fb1b4 (patch) | |
tree | c336c9f66d9e2bc56593d1b478c09d1d7c157d37 /test/.gitignore | |
parent | Merge branch 'master' of gitlab.science.ru.nl:eveen/Testing-Techniques into 2... (diff) |
Fix prop_dont_touch_my_pieces for caught pieces
Diffstat (limited to 'test/.gitignore')
0 files changed, 0 insertions, 0 deletions