Merge branch 'newpc92timings' of /scm/spider into newpc92timings
[spider.git] / examples /
1998-12-21 djkadded examples