mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-02 14:38:30 +07:00
GitOrigin-RevId: 910e9b3335fa7c3967fb79893ecba7c69595a201
7 lines
184 B
Java
7 lines
184 B
Java
// "_ignore" "true"
|
|
|
|
/// - [the `java.util` package][java.util]
|
|
/// - [a class][String]
|
|
/// - [a field][String#CASE_INSENSITIVE_ORDER]
|
|
/// - [a method][String#chars()]<caret>
|
|
class C{} |