Change default time settings from -t =80000 to -t 15master
[pachi/nmclean.git] / uct / plugin / 
treec076e5d2befd4d5e9b301d4aad6475104fe10a51
drwxr-xr-x   ..
-rw-r--r-- 4455 example.c
-rw-r--r-- 14078 wolf.c