mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-03 20:33:31 +07:00
IDEA-303300 GitOrigin-RevId: f4cd752f81987885a72b5da8d898f875a5198dcb
2 lines
43 B
Java
2 lines
43 B
Java
public record Point(double x, double y) {
|
|
} |