Make user management optional
commit057c773f647efcadfd46c79734b9315a0b634fb7
authorPetr Baudis <petr.baudis@novartis.com>
Thu, 24 Jul 2008 18:37:55 +0000 (24 20:37 +0200)
committerPetr Baudis <petr.baudis@novartis.com>
Thu, 24 Jul 2008 18:37:55 +0000 (24 20:37 +0200)
treeec6f39565209ca2a054764583c7a703574767123
parent47d8ea876a79a3056ccfd0e9e1189947777d765f
Make user management optional
Girocco/Config.pm
cgi/editproj.cgi
cgi/edituser.cgi
cgi/regproj.cgi
cgi/reguser.cgi