mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-06-18 23:11:44 +07:00
abdf1f601d
GitOrigin-RevId: f0257fa34cd4bc8e5445f8f4bc417747790c2538
2 lines
38 B
Java
2 lines
38 B
Java
public record Record(int x<caret>) {
|
|
} |