Merge branch 'newpc92timings' of /scm/spider into newpc92timings
[spider.git] / scripts /
drwxr-xr-x   ..
-rw-r--r-- 2 .cvsignore
-rw-r--r-- 22 .gitignore
-rw-r--r-- 100 startup.issue
-rw-r--r-- 76 user_default.issue