f993c40 Really remove old gcc-4.7.patch.

Authored and Committed by Mark J. Wielaard 12 years ago
    Really remove old gcc-4.7.patch.
    
        
file modified
+0 -3