crschnick 5980f41778 Prepare for repo move

2023-02-02 13:46:40 +00:00

..

gradle_scripts

Merge main repository

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

src

Prepare for repo move

2023-02-02 13:46:40 +00:00

build.gradle

Implement support for external editors in text areas

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