b5d1631 Rename binary as described in #472750

Authored and Committed by andriy 14 years ago
1 file changed. 11 lines added. 6 lines removed.
    Rename binary as described in #472750
    
        
file modified
+11 -6