34eafd7 Remove obsolete patch, now handled by a configure option.

Authored and Committed by kkofler 14 years ago
    Remove obsolete patch, now handled by a configure option.
    
        
file modified
+0 -5