add log of successful compile

This commit is contained in:
Nico Schottelius 2019-07-23 23:49:36 +02:00
parent e588a197bb
commit 796e9f383d

File diff suppressed because one or more lines are too long