06af97 Rename repository.init to repository-init.pl.

Authored and Committed by areguera 13 years ago
    Rename repository.init to repository-init.pl.
    
        
Manual/repository-init.pl Manual/repository.init
file renamed
file was renamed with no change to the file