made the censoring of PC10,11,12 optional with $censorpc = 0
[spider.git] / contrib /
drwxr-xr-x   ..
drwxr-xr-x - g0rdi