Diff

tools/make_repo.lua @ 13230:26c30844cac6

plugins: Handle how get_option_period returns "never"
author Kim Alvefur <zash@zash.se>
date Fri, 21 Jul 2023 17:23:00 +0200
parent 10177:e9b47fcde93c
line wrap: on
line diff