Diff

util/timer.lua @ 8733:6a234e77c99f

util.startup: Fix traceback due to both plugin path becoming nil if plugin_paths is unset
author Kim Alvefur <zash@zash.se>
date Fri, 06 Apr 2018 16:50:51 +0200
parent 8685:2548111e71d6
child 8762:2f8523bf7ff2
line wrap: on
line diff