3 Commits

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