crschnick 3e7fbe89ac Merge branch prefs into master ... The changes have been squashed as the commit history and messages were not very carefully crafted. There isn't that much value in preserving random commit messages. Also due to diverging branches, rebasing or merging it was difficult.		2024-02-28 07:36:31 +00:00
..
src/main/java	Shell refactoring	2023-02-20 09:49:10 +00:00
build.gradle	Merge branch prefs into master	2024-02-28 07:36:31 +00:00