test/tools/doclint/tidy/AnchorAlreadyDefined.out

Sat, 04 Aug 2018 12:55:17 +0100

author
aefimov
date
Sat, 04 Aug 2018 12:55:17 +0100
changeset 3736
7b508cdd33ae
parent 1465
a22f23fb7abf
child 2525
2eb010b6cb22
permissions
-rw-r--r--

Merge

jjg@1465 1 AnchorAlreadyDefined.java:14: error: anchor already defined: here
jjg@1455 2 * <a name="here">duplicate</a>
jjg@1455 3 ^
jjg@1465 4 AnchorAlreadyDefined.java:15: error: anchor already defined: here
jjg@1455 5 * <h1 id="here">duplicate</h1>
jjg@1455 6 ^
jjg@1455 7 2 errors

mercurial