4 Commits

Author	SHA1	Message	Date
Martin Diehl	3b6c97edb0	adjusting names	2021-03-26 17:39:21 +01:00
Martin Diehl	cb0d407ce4	not used	2021-03-26 12:40:01 +01:00
Martin Diehl	6a2c107723	consistent names for debugging	2021-03-26 12:34:16 +01:00
Martin Diehl	cffc9aa3c8	shorter, more systematic names	2021-03-26 12:08:36 +01:00