5d14cce Clean git repo from old patches

Authored and Committed by pingou 11 years ago
    Clean git repo from old patches
    
        
file removed
-11