b3e5b43 remove tools from main package

Authored and Committed by remi 11 years ago
    remove tools from main package
    
        
file modified
+4 -4