2012-12-20 17:59:46 +00:00
|
|
|
AnchorAlreadyDefined.java:14: error: anchor already defined: here
|
2012-12-17 07:47:05 -08:00
|
|
|
* <a name="here">duplicate</a>
|
|
|
|
^
|
2012-12-20 17:59:46 +00:00
|
|
|
AnchorAlreadyDefined.java:15: error: anchor already defined: here
|
2012-12-17 07:47:05 -08:00
|
|
|
* <h1 id="here">duplicate</h1>
|
|
|
|
^
|
|
|
|
2 errors
|