3 Commits

Author	SHA1	Message	Date
Markus F.X.J. Oberhumer	757401dd0c	CI and spell checks	2023-08-09 13:08:38 +02:00
Markus F.X.J. Oberhumer	c54e03d0f2	CI: ongoing cleanups	2023-06-25 03:27:51 +02:00
Markus F.X.J. Oberhumer	a5206eb696	CI: cleanups	2023-06-14 07:40:14 +02:00