dordsor21 2485f5eccc

EditSession needs to override some Extent methods to ensure block changes are correctly set through the various extents ...

Fixes #1152

2021-07-16 10:43:15 +01:00

..

doctools

Update to Gradle 7 (#1078)

2021-05-14 23:42:37 +02:00

src

EditSession needs to override some Extent methods to ensure block changes are correctly set through the various extents

2021-07-16 10:43:15 +01:00

build.gradle.kts

Remove unneeded maven repos

2021-07-05 22:26:14 +02:00