Merge branch 'newpc92timings' of /scm/spider into newpc92timings
[spider.git] / SpiderConsole / docs /
drwxr-xr-x   ..
-rwxr-xr-x 19403 COPYING
-rw-r--r-- 3762 INSTALL
-rw-r--r-- 537 bugs.txt
-rw-r--r-- 14281 spider-proto