Merge branch 'master' of git+ssh://repo.or.cz/srv/git/pachi
commit219cc458be96ea0403d8b192f05e7daaae583d11
authorPetr Baudis <pasky@ucw.cz>
Wed, 11 Aug 2010 10:16:01 +0000 (11 12:16 +0200)
committerPetr Baudis <pasky@ucw.cz>
Wed, 11 Aug 2010 10:16:01 +0000 (11 12:16 +0200)
tree4467f412c57d6860c71dc1e07bb6d08d96276cc2
parent0d10ff475c69dc3b02b787072451f27c6d8afb3a
parent678e7a4ec95c8649aaeb626842c4b8a028bddd25
Merge branch 'master' of git+ssh://repo.or.cz/srv/git/pachi
uct/uct.c