709358 And actually delete the gcc-4.7.patch file from the tree.

Authored and Committed by Mark J. Wielaard 8 years ago
1 file changed. 0 lines added. 600 lines removed.
    And actually delete the gcc-4.7.patch file from the tree.
    
        
file removed
-600