5 Commits

Author	SHA1	Message	Date
Martin Diehl	b8c3d75700	[skip sc] enforce interfaces (quick fix: declare as external)	2022-06-21 22:59:01 +02:00
Martin Diehl	f90523eb07	more flexible reporting	2022-05-27 08:33:50 +02:00
Franz Roters	fc4619189f	unified capitalization	2022-05-03 12:55:27 +02:00
Martin Diehl	be39865ff7	more systematic naming	2022-05-02 09:52:15 +02:00
Martin Diehl	730cda2020	more explicit name	2022-04-29 14:50:27 +02:00