mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-31 04:07:30 +07:00
GitOrigin-RevId: f0257fa34cd4bc8e5445f8f4bc417747790c2538
1 line
27 B
Java
1 line
27 B
Java
public record Record<caret> |