Hannes Greule 9fff77c088 Avoid premature trimming in RegionIntersection (#2471) ...

avoid premature trimming

2023-10-22 16:29:38 +02:00

..

doctools

Update gradle to 8 (#2262)

2023-06-04 12:34:03 +02:00

src

Avoid premature trimming in RegionIntersection (#2471)

2023-10-22 16:29:38 +02:00

build.gradle.kts

Add support for 1.20.2 (#2431)

2023-09-29 20:00:58 +00:00