Merge branch 'master' of git://repo.or.cz/pachi
commitadae5e5c7c83e9c606e521d710cc0985f9cf3750
authorPetr Baudis <pasky@ucw.cz>
Mon, 22 Sep 2008 08:51:09 +0000 (22 10:51 +0200)
committerPetr Baudis <pasky@ucw.cz>
Mon, 22 Sep 2008 08:51:09 +0000 (22 10:51 +0200)
tree0a4bf7f0d89b7d5806b0065df6b4f4819a4a6bc6
parentae79d2c12476cc047f0c9f1aee8926f4f221029a
parent6ebd5cbf67ff2324bcc0ba6283b60f337336ff00
Merge branch 'master' of git://repo.or.cz/pachi