Merge branch 'master' of ssh://repo.or.cz/srv/git/pachi
commit7d861d23e9ac7626cd011d814852731102c37fee
authorPetr Baudis <pasky@ucw.cz>
Thu, 15 Aug 2013 18:02:25 +0000 (15 20:02 +0200)
committerPetr Baudis <pasky@ucw.cz>
Thu, 15 Aug 2013 18:02:25 +0000 (15 20:02 +0200)
treed5f9a23b060ba7405e090f00e88739cf4879c683
parent93fc372528f3eda48c17b9a55ff60ef1522f12e9
parent3b2b75ba15832ef4b73a70bc8f163fb44eb5b023
Merge branch 'master' of ssh://repo.or.cz/srv/git/pachi