Diff

makefile @ 9878:dd61201fc5af

util.startup: Don't die if there are no config warnings to log (thanks buildbot)
author Matthew Wild <mwild1@gmail.com>
date Wed, 20 Mar 2019 13:44:29 +0000
parent 9683:bf32f2282b18
child 10880:324c50ea0f1d
line wrap: on
line diff