Merge branch 'newpc92timings' of /scm/spider into newpc92timings
[spider.git] / cmd / set / user.pl
2007-07-11 Dirk Koopmanremove $Id$ strings from everywhere that I can find
1999-04-26 djkadded set/user command