2b4d1d8 remove dead option

Authored and Committed by Dave Jones 12 years ago
    remove dead option
    
        
file modified
+0 -1