make miscchecks

This commit is contained in:
Philippe Teuwen 2021-06-04 21:56:47 +02:00
commit 1f27be076b
12 changed files with 274 additions and 274 deletions