crschnick 33f802cd08 Small bug fixes [release]

2023-02-04 09:53:05 +00:00

..

gradle_scripts

Merge main repository

2023-01-27 02:34:46 +00:00

src

Small bug fixes [release]

2023-02-04 09:53:05 +00:00

build.gradle

Implement support for external editors in text areas

2023-02-02 11:58:53 +00:00