5 Commits

Author	SHA1	Message	Date
Formatter Bot	e9611751bc	Automated formatting changes	2020-07-31 21:11:01 +00:00
Dennis Eichhorn	41e613c84c	inspection fixes	2020-07-31 18:13:52 +02:00
Dennis Eichhorn	1153638e24	fix bug where mapper was loaded before it got changed	2020-07-29 21:50:44 +02:00
Dennis Eichhorn	2195a7135b	force mapper reload after change	2020-07-29 21:32:36 +02:00
Dennis Eichhorn	a3c367cde6	continue with comments impl.	2020-07-23 20:49:00 +02:00