fix some minor problems with the manuals (g0vgs)
[spider.git] / cmd / set / user.pl
1999-04-26 djkadded set/user command