aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2017-08-29 14:35:12 +0200
committerGravatar Maxime Dénès <mail@maximedenes.fr>2017-08-29 14:35:12 +0200
commit8aa7de4ea2660fe370cedab07c1c5dcc19226c8c (patch)
tree0eb6a177c3a14d50173183b0188b5f15b6c425c5 /test-suite
parent75d70664156bf1715b4eb9933a684a344f43467d (diff)
parent7ba6bc4554a642f78f59b996f99d9d6ca2cc2678 (diff)
Merge PR #805: Functional tactics
Diffstat (limited to 'test-suite')
0 files changed, 0 insertions, 0 deletions