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