bd0cb27 Remove a chunk which should not have been pushed as part of 1.0.0

Authored and Committed by veillard 11 years ago
    Remove a chunk which should not have been pushed as part of 1.0.0
    
    I didn't noticed that that small old patch was still applied locally
    
        
file modified
+0 -5