Merge branch 'master' into greedy2greedy2
[pachi.git] / random / 
treeb61ed10cde11cc39f52f6d3c278f194883e8b5af
drwxr-xr-x   ..
-rw-r--r-- 147 Makefile
-rw-r--r-- 1423 random.c
-rw-r--r-- 153 random.h