cgi/regproj.cgi: Remove obsolete warning about push --mirror
[girocco.git] / cgi / Girocco
blobc73296d8e845780a5085e2636491283d051b8798
1 ../Girocco/