mirror of
https://github.com/openjdk/jdk.git
synced 2026-02-14 12:25:21 +00:00
5 lines
108 B
Plaintext
5 lines
108 B
Plaintext
InvalidName.java:17: error: invalid name for anchor: "foo()"
|
|
* <a name="foo()">invalid</a>
|
|
^
|
|
1 error
|