cgi/editproj.cgi: Show the multi-user info message only for push projects
commit75510d92a10d9c2aed3e40353db595145bb08232
authorPetr Baudis <petr.baudis@novartis.com>
Wed, 13 Aug 2008 13:11:42 +0000 (13 15:11 +0200)
committerPetr Baudis <petr.baudis@novartis.com>
Wed, 13 Aug 2008 13:11:42 +0000 (13 15:11 +0200)
treee07fa0bbf90613aa3482301fa92294fe6661d64e
parent0a8cb64146a40c74e4f241c6cc546cf0fb894da7
cgi/editproj.cgi: Show the multi-user info message only for push projects
cgi/editproj.cgi