Merge branch 'master' of git+ssh://repo.or.cz/srv/git/pachi
commit41a811b80c4776cf6caffed4716dd291ea035d5b
authorPetr Baudis <pasky@ucw.cz>
Mon, 12 Apr 2010 20:32:57 +0000 (12 22:32 +0200)
committerPetr Baudis <pasky@ucw.cz>
Mon, 12 Apr 2010 20:32:57 +0000 (12 22:32 +0200)
treecab01e448740ca0c2d470f1204d19a41ad7ebdf8
parent5b140b6d64639bb4e1c07173d09e67a51c9e41aa
parent6462892aaf5946c28628373d40ede187c9f11870
Merge branch 'master' of git+ssh://repo.or.cz/srv/git/pachi
uct/dynkomi.c