mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-30 06:44:20 +07:00
GitOrigin-RevId: f0257fa34cd4bc8e5445f8f4bc417747790c2538
1 line
34 B
Java
1 line
34 B
Java
public record Record(int x<caret>) |