4 Commits

Author	SHA1	Message	Date
Dominik Werder	013c888265	Remove more unused	2024-10-28 13:21:19 +01:00
Dominik Werder	130dabce40	WIP typechecks and basic run	2024-10-24 16:12:29 +02:00
Dominik Werder	584d977675	Customize the log out	2024-07-03 10:20:39 +02:00
Dominik Werder	30c7fcb1e5	Move workspace crates into subfolder	2023-07-10 14:45:25 +02:00