0af7dd3 remove duplicate configure option

Authored and Committed by dtardon 13 years ago
    remove duplicate configure option
    
        
file modified
+1 -1