Merge branch 'master' of git+ssh://repo.or.cz/srv/git/pachi
commit1707dbc0ea2a901db255f62bc7d1a91c7a37aac1
authorPetr Baudis <pasky@ucw.cz>
Fri, 9 Oct 2009 09:50:09 +0000 (9 11:50 +0200)
committerPetr Baudis <pasky@ucw.cz>
Fri, 9 Oct 2009 09:50:09 +0000 (9 11:50 +0200)
tree3874c9a02c4de46269917f0c9e646a67e2dfe6e3
parentfc78c823df13ed6ebefd9e8c4bc90de13f2d8fef
parent03c36cfbba2bf6040f736632d5837e5f28fdcd07
Merge branch 'master' of git+ssh://repo.or.cz/srv/git/pachi
tactics.c