Diff

util/paths.lua @ 13205:0ccd82b965d5

core.moduleapi: Improve handling of different types in :get_option_period Pass positive numbers trough unharmed, parse strings as periods, discard anything else.
author Kim Alvefur <zash@zash.se>
date Sun, 16 Jul 2023 20:59:27 +0200
parent 11183:2ac63715ef6f
line wrap: on
line diff