Log In
centos
/
artwork-archive
Clone
Source Code
GIT
Source
Issues
0
Pull Requests
0
Stats
History Manuals/Texinfo/repository.texinfo
Branch:
40e4a4fc20f1f3865b908751b1a708df04e6f8c9
master
40e4a4fc20f1f3865b908751b1a708df04e6f8c9
Manuals
Texinfo
repository.texinfo
Update repository.texinfo. Change file extension from .texi to .texinfo.
Alain Reguera Delgado
• 13 years ago
7f036e
Rename file extensions from .texi to .texinfo in trunk/Manuals/Texinfo
Alain Reguera Delgado
• 13 years ago
8499a1