4 Commits

Author	SHA1	Message	Date
Philip Eisenlohr	da9fdf53d2	consistent indentation and line-spacings in reporting	2021-11-15 12:35:44 -05:00
Martin Diehl	887524bcc1	polishing	2021-04-11 16:09:29 +02:00
Martin Diehl	d56f1acf36	shorter names ... need to prefix 'pass' to avoid name clashes that result in errors during compilation	2021-04-06 12:05:47 +02:00
Martin Diehl	49804c6e44	preparing split	2021-04-06 11:55:30 +02:00