zzgo-profiled: Use genmove.gtp instead of custom echo
commit72cdab4614f517e75707fa37b2e0f2dafea14c8a
authorPetr Baudis <pasky@ucw.cz>
Wed, 23 Sep 2009 15:55:57 +0000 (23 17:55 +0200)
committerPetr Baudis <pasky@ucw.cz>
Wed, 23 Sep 2009 15:55:57 +0000 (23 17:55 +0200)
tree9381923a579de767bb0532f22361edc0bf75ca25
parent9367d82be18e1a5412699075ba68b4142c0179b4
zzgo-profiled: Use genmove.gtp instead of custom echo
Makefile