6 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	227bcb8015	Merge branch acc into master	2023-09-27 00:47:51 +00:00
crschnick	06f62c96fb	Small fixes	2023-08-09 05:51:57 +00:00
crschnick	3d2f5b4adf	Update scripts	2023-07-20 14:11:33 +00:00
crschnick	a6372f8872	Build fixes	2023-07-19 10:17:20 +00:00
crschnick	8143f69da2	Update to graalvm 20 and some small adjustments [stage]	2023-07-19 08:50:19 +00:00