author | jlahoda |
Tue, 13 Jan 2015 19:13:42 +0100 | |
changeset 28455 | 41245007c074 |
parent 14962 | 19ffdfafbcd2 |
child 30730 | d3ce7619db2c |
permissions | -rw-r--r-- |
28455
41245007c074
8066843: Messager.printMessage cannot print multiple errors for same source position
jlahoda
parents:
14962
diff
changeset
|
1 |
AnchorAlreadyDefined.java:14: error: anchor already defined: "here" |
14952 | 2 |
* <a name="here">duplicate</a> |
3 |
^ |
|
28455
41245007c074
8066843: Messager.printMessage cannot print multiple errors for same source position
jlahoda
parents:
14962
diff
changeset
|
4 |
AnchorAlreadyDefined.java:15: error: anchor already defined: "here" |
14952 | 5 |
* <h1 id="here">duplicate</h1> |
6 |
^ |
|
7 |
2 errors |