Merge branch 'master' of ssh://repo.or.cz/srv/git/pachi
commitfee385e54cb31f68b2c6635a27a96fa4893e64b6
authorPetr Baudis <pasky@ucw.cz>
Fri, 27 Apr 2012 00:09:30 +0000 (27 02:09 +0200)
committerPetr Baudis <pasky@ucw.cz>
Fri, 27 Apr 2012 00:09:30 +0000 (27 02:09 +0200)
tree45b66389dcfce7898e255435bd501a544f95b61f
parentde9b9974efe249918544e971d2d5a8c6791525a4
parenta4b7489cba57902ec4d8b353f00a6968ff1f9aa5
Merge branch 'master' of ssh://repo.or.cz/srv/git/pachi
uct/uct.c