diff mod_vjud/mod_vjud.lua @ 877:cd2262969d2e

Make sure we use the user filter for bind
author Rob Hoelz <rob@hoelz.ro>
date Mon, 10 Dec 2012 22:35:17 +0100
parents 7e40d6680093
children 3a17fc0127b1
line wrap: on
line diff