178c9b Split removing the git repos from removing project from the DB

Authored and Committed by Pierre-Yves Chibon 9 years ago
    Split removing the git repos from removing project from the DB
    
        
file modified
+4 -2