Merge branch 'master' of git+ssh://repo.or.cz/srv/git/pachi
[pachi/derm.git] / t-play / 
tree0363d10439e67c61053e1a43cf1aef8de80f3d7b
drwxr-xr-x   ..
-rw-r--r-- 25059 TESTS
drwxr-xr-x - autotest
-rwxr-xr-x 241 resum
-rwxr-xr-x 391 test_in_context.sh