comparison mod_extdisco/mod_extdisco.lua @ 881:4b06d6c79b15

mod_vjud: Add non-default mode where we search all users
author Kim Alvefur <zash@zash.se>
date Sun, 16 Dec 2012 12:47:26 +0100
parents e5c16c87383c
children e302537a0e4e
comparison
equal deleted inserted replaced
880:312602605269 881:4b06d6c79b15