mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-30 06:44:20 +07:00
GitOrigin-RevId: 8b2b63fc6db476ca0c2cfe5cadd84db6c4236d0f
6 lines
109 B
Plaintext
6 lines
109 B
Plaintext
void m(Object o) {
|
|
if (o instanceof String) {
|
|
String o = (String)o;<spot></spot>
|
|
}
|
|
}
|