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