update doclint to better check for headings in doc comments

XMLWordPrintable

    • Type: Enhancement
    • Resolution: Duplicate
    • Priority: P3
    • None
    • Affects Version/s: 13
    • Component/s: tools

      Now that we better understand the interaction between headings generated by javadoc and headings in comments, we need to update doclint accordingly.

            Assignee:
            Unassigned
            Reporter:
            Jonathan Gibbons
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated:
              Resolved: