diff mod_vjud/mod_vjud.lua @ 1707:64b3d1eb0cfe

mod_privilege: fixed various issues reported by luacheck
author Goffi <goffi@goffi.org>
date Fri, 10 Apr 2015 15:55:44 +0200
parents 400a7fdd2049
children cf3bdcb633f0
line wrap: on
line diff