fix some minor problems with the manuals (g0vgs)
[spider.git] / contrib / g0rdi / show /
1998-12-22 djk*** empty log message ***