dordsor21 338be0ff31 Undo/redo should not be allowed outside allowed regions by default. ... Fixes #949		2021-07-10 14:14:34 +01:00
..
doctools	Update to Gradle 7 (#1078)	2021-05-14 23:42:37 +02:00
src	Undo/redo should not be allowed outside allowed regions by default.	2021-07-10 14:14:34 +01:00
build.gradle.kts	Remove unneeded maven repos	2021-07-05 22:26:14 +02:00