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