Diff

.hgtags @ 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 12896:423f240d1173
child 13257:e11644485902
line wrap: on
line diff