Public Git Hosting - pachi.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 4f82a0b) | patch

commit	86b7927f3704932e17b480377597daf8a606d228
author	Petr Baudis <pasky@ucw.cz>
	Sun, 8 Jan 2012 11:48:01 +0000 (8 12:48 +0100)
committer	Petr Baudis <pasky@ucw.cz>
	Sun, 8 Jan 2012 11:48:01 +0000 (8 12:48 +0100)
tree	a6dffb1d5f76ade484c880724bad3fa674817fd2	tree \| snapshot (tar.gz zip)
parent	4f82a0b3c3cd71f682a5c447638672f53851f923	commit \| diff

GTP: Rename Pachi extension commands to use the pachi- prefix

This concerns uct_evaluate, uct_gentbook and uct_dumptbook.

distributed/distributed.c		diff \| blob \| blame \| history
gtp.c		diff \| blob \| blame \| history
tools/autobook/expand.sh		diff \| blob \| blame \| history
tools/gentbook.sh		diff \| blob \| blame \| history
tools/sgf-ratemove.sh		diff \| blob \| blame \| history

Pachi Simple Go/Baduk/Weiqi Bot