Merge branch 'newpc92timings' of /scm/spider into newpc92timings
[spider.git] / txt /
drwxr-xr-x   ..
-rw-r--r-- 183148 adminmanual_en.txt
-rw-r--r-- 36860 filtering_en.txt
-rw-r--r-- 60508 installation_en.txt
-rw-r--r-- 725 spiderCVS_en.txt
-rw-r--r-- 10136 spiderFAQ_en.txt
-rw-r--r-- 106375 usermanual_en.txt