mirror of
https://github.com/openjdk/jdk.git
synced 2025-09-19 18:44:38 +02:00
4 lines
108 B
Text
4 lines
108 B
Text
InvalidName.java:17: error: invalid name for anchor: "foo()"
|
|
* <a name="foo()">invalid</a>
|
|
^
|
|
1 error
|