8f2b1fa Remove obsolete patch

Authored and Committed by Cosimo Cecchi 13 years ago
    Remove obsolete patch
    
        
file modified
+0 -6