tree d24a25fa52135d9c368e6ecf605f1a6bb7289245
parent 0d0630cd6f10d0586172b740290056620fe56b21
author Oliver Sander <oliver.sander@tu-dresden.de> 1556620597 +0200
committer Oliver Sander <oliver.sander@tu-dresden.de> 1556620597 +0200

Fix some typos in build system output and comments