Make changes to manuals to (hopefully) improve documentation and to change
[spider.git] / html / user_en_t.html~
2000-06-13 djkadded set/lockout