Merge branch 'master' of git+ssh://repo.or.cz/srv/git/pachi
[pachi.git] / playout / 
tree1b2b9eb292d9f8493648b52cd2fd42313cfe7c56
drwxr-xr-x   ..
-rw-r--r-- 162 Makefile
-rw-r--r-- 16360 elo.c
-rw-r--r-- 414 elo.h
-rw-r--r-- 601 light.c
-rw-r--r-- 176 light.h
-rw-r--r-- 34266 moggy.c
-rw-r--r-- 223 moggy.h