Synopsis: <FILES> does not indent

State-Changed-From-To: open-closed
State-Changed-By: marc
State-Changed-When: Sat Jul 12 12:52:46 PDT 1997
State-Changed-Why:
Thanks for the report, a patch to fix this has been
applied to the 1.3 development tree.

Reply via email to