mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-06 06:05:50 +07:00
GitOrigin-RevId: 77686401cbf38ea31e93311a608bac7472ccc73c
8 lines
178 B
Java
8 lines
178 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{} |