mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-06 08:00:18 +07:00
GitOrigin-RevId: 2fc351433f7841f9753d67e2a8d925a9991a1716
9 lines
179 B
Java
9 lines
179 B
Java
// "_ignore" "true"
|
|
|
|
|
|
/// - [the `java.util` package][java.util]
|
|
/// - [a class][String]
|
|
/// - [a field][String#CASE_INSENSITIVE_ORDER]
|
|
/// - [a method][String#chars()]
|
|
|
|
class C{} |