Stephen Colebourne wrote:
When browsing the generated Javadoc I realized that the formatting was diffrent depending who had written the class or method. Therefore I felt that it's better to have one consistent formatting, that later on can be changed if it is needed.Patch applied. (We haven't actually agreed on a format for <p> </p> html tags in javadoc, but I decided that there was other useful formatting in the patch as well - actually since this is committed, now a decision on the style is probably effectively taken for lang ;-).
--
To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
