2015-05-21 11:41:04 -07:00
|
|
|
AnchorAlreadyDefined.java:15: error: anchor already defined: "here"
|
2012-12-17 07:47:05 -08:00
|
|
|
* <a name="here">duplicate</a>
|
|
|
|
^
|
2015-05-21 11:41:04 -07:00
|
|
|
AnchorAlreadyDefined.java:16: error: anchor already defined: "here"
|
2012-12-17 07:47:05 -08:00
|
|
|
* <h1 id="here">duplicate</h1>
|
|
|
|
^
|
|
|
|
2 errors
|