Yet another minor (cleanup) change to the test suite.
1 patch for repository http://darcs.net/screened:
patch b29d31675d624162961675f6314c5c6da13f76d0
Author: Ben Franksen <ben.franksen@online.de>
Date: Sat Sep 15 09:59:33 CEST 2018
* layout fixes and a trivial refactor in D.T.P.Check