Diff

util/set.lua @ 7977:01d6298de991

plugins/various: Use type-specific config API
author Kim Alvefur <zash@zash.se>
date Thu, 16 Mar 2017 20:46:06 +0100
parent 6777:5de6b93d0190
child 8522:073e517a1487
line wrap: on
line diff