mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-05-30 07:53:45 +07:00
679098e3e1
GitOrigin-RevId: 501a9c5bd2fb5737f6c8997c11927467eff43eda
4 lines
57 B
Java
4 lines
57 B
Java
// "Make 'R' public" "true"
|
|
record R () {
|
|
public R {}
|
|
} |