debe8a8 don't blindly remove lib*.so (for now)

Authored and Committed by rdieter 16 years ago
    don't blindly remove lib*.so (for now)
    
        
file modified
+0 -3