Merge branch 'master' of git+ssh://repo.or.cz/srv/git/pachi
commit238b0fed3cafa3183a65e0335337ce17f84f35c5
authorPetr Baudis <pasky@ucw.cz>
Mon, 8 Mar 2010 16:44:56 +0000 (8 17:44 +0100)
committerPetr Baudis <pasky@ucw.cz>
Mon, 8 Mar 2010 16:44:56 +0000 (8 17:44 +0100)
treeb1a6fa3170ad2c2505cb256e924482bb16a67d7b
parent5fbba002756342238f2086acb42bd046ec24d1ca
parent09b8902c79e2de6c37aee64b522dc394abb0ecf1
Merge branch 'master' of git+ssh://repo.or.cz/srv/git/pachi

Conflicts:
uct/dynkomi.c
uct/dynkomi.c