4 commits

Author	SHA1	Message	Date
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
crschnick	b2a6549fb6	Gradle build fixes	2023-08-26 07:19:41 +00:00
crschnick	211b516b7b	Merge branch 'browser'	2023-02-19 17:44:47 +00:00
crschnick	06405de396	Merge main repository	2023-01-27 02:34:46 +00:00