Diff

util/paths.lua @ 8533:66cdf5c7af85

moduleapi: Remove unused and undocumented :has_feature and :has_identity
author Kim Alvefur <zash@zash.se>
date Fri, 23 Feb 2018 17:11:59 +0100
parent 6505:2dc8dbd0940e
child 10197:91085371cfc5
line wrap: on
line diff