diff util/timer.lua @ 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
parents acf74ad0b795
children e6c1e92cc7a7 1274deeab39a
line wrap: on
line diff