Merge branch 'newpc92timings' of /scm/spider into newpc92timings
[spider.git] / scripts / user_default.issue
2001-09-14 minimaadd user_default.issue