Diff

mod_vjud/mod_vjud.lua @ 2888:59cc6f9e8e68

luacheckrc: Remove has_feature and has_identity before someone decides to use them
author Kim Alvefur <zash@zash.se>
date Fri, 23 Feb 2018 17:17:50 +0100
parent 2179:a90c7d7e7413
child 4910:5dffb85e62c4
line wrap: on
line diff