701da5 Remove .ko from names.

Authored and Committed by Andreas Schwab 19 years ago
    Remove .ko from names.
    
        
file modified
+11 -11