mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-05-17 18:50:49 +07:00
abdf1f601d
GitOrigin-RevId: f0257fa34cd4bc8e5445f8f4bc417747790c2538
1 line
34 B
Java
1 line
34 B
Java
public record Record(int x<caret>) |