making HTML-embedded in comments parsing resistant to DOS-type line return (\r); still overall fragile, though
making HTML-embedded in comments parsing resistant to DOS-type line return (\r); still overall fragile, though


git-svn-id: 77f46c2cf7ff6c2f3c2bfd1f05603823752f1927@450 b2e84630-a466-403e-8074-5faad0055f28

dontcallmedom/widlproc