cgi/regproj.cgi: Remove obsolete warning about push --mirror
commit601f5050117ce5cb25118703dbca6f3cfa412e65
authorPetr Baudis <pasky@ucw.cz>
Tue, 3 Nov 2009 01:13:28 +0000 (3 02:13 +0100)
committerPetr Baudis <pasky@rover.dkm.cz>
Tue, 3 Nov 2009 01:13:28 +0000 (3 02:13 +0100)
treefa50e44b245b3549819b0910dc908befc69d09ff
parent298b4e68ee281e6c78b3eb614ffe4c257cf15228
cgi/regproj.cgi: Remove obsolete warning about push --mirror
cgi/regproj.cgi