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
49 B
Java
2 lines
49 B
Java
public record Rect(Point point1, Point point) {
|
|
} |