Merge branch 'master' of ssh://repo.or.cz/srv/git/pachi
[pachi.git] / random / 
tree57783d839ae4f73c184fc2511f5bc6cf98ed2243
drwxr-xr-x   ..
-rw-r--r-- 147 Makefile
-rw-r--r-- 1423 random.c
-rw-r--r-- 151 random.h