Merge branch 'master' of git+ssh://repo.or.cz/srv/git/pachi
commit08123202b79dfa9ed64ee7cbc1bac83d6fea2995
authorPetr Baudis <pasky@ucw.cz>
Tue, 13 Apr 2010 12:18:23 +0000 (13 14:18 +0200)
committerPetr Baudis <pasky@ucw.cz>
Tue, 13 Apr 2010 12:18:23 +0000 (13 14:18 +0200)
treeb349bc3d0540dcf02c3671c1450ec62a642f614e
parent41a811b80c4776cf6caffed4716dd291ea035d5b
parentc9756d62ca9ee5820638f235e7640c9075493480
Merge branch 'master' of git+ssh://repo.or.cz/srv/git/pachi
uct/dynkomi.c