3 Commits

Author	SHA1	Message	Date
Robin Müller	136aaecb77	should be the last of renamings	2023-01-17 11:10:52 +01:00
Robin Müller	e7609f02b9	consistency change for enum names	2023-01-16 14:13:06 +01:00
Robin Müller	1483dc4d93	that was annoying	2022-11-29 16:53:29 +01:00