Fri, 24 Feb 2017 09:20:54 -0800
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 |