Synopsis: Less than sign in description of using "patch" on web server
State-Changed-From-To: open-closed State-Changed-By: marc State-Changed-When: Tue Jul 29 07:24:41 PDT 1997 State-Changed-Why: Fixed, I think. I'm not sure exactly which page you are referring to, but I think I found them all. Let me know if I missed the one you are thinking about. Thanks.
