mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-06 20:01:20 +07:00
GitOrigin-RevId: 594205296f7ae88246307a24c6bd3daf240ca054
6 lines
109 B
Java
6 lines
109 B
Java
record R(String name) {
|
|
R(String name) {
|
|
<selection>"_"</selection> + name;
|
|
this.name = name;
|
|
}
|
|
} |