Thu, 31 Aug 2017 15:17:03 +0800
merge
aoqi@0 | 1 | AnchorAlreadyDefined.java:14: error: anchor already defined: here |
aoqi@0 | 2 | * <a name="here">duplicate</a> |
aoqi@0 | 3 | ^ |
aoqi@0 | 4 | AnchorAlreadyDefined.java:15: error: anchor already defined: here |
aoqi@0 | 5 | * <h1 id="here">duplicate</h1> |
aoqi@0 | 6 | ^ |
aoqi@0 | 7 | 2 errors |