5eb57d Update `repository.texinfo' file in en_US repository documentation

Authored and Committed by areguera 13 years ago
    Update `repository.texinfo' file in en_US repository documentation
    manual.