comparison mod_default_bookmarks/mod_default_bookmarks.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 597c872d691e
children 853a382c9bd6
comparison
equal deleted inserted replaced
880:312602605269 881:4b06d6c79b15