Sign in
◑
Theme
gnu
/
make
/
7962f88558231a2e32f741a0d6a1c1736ff37230
commit
7962f88558231a2e32f741a0d6a1c1736ff37230
[
log
]
author
Roland McGrath <roland@redhat.com>
Wed May 18 16:26:55 1988 +0000
committer
Roland McGrath <roland@redhat.com>
Wed May 18 16:26:55 1988 +0000
tree
388c18902906cf9f6da14d815660928ce805203e
parent
4fdc2061063ec06ec5a57899e35ceca974df7e47
[
diff
]
Fixed a couple Texinfo bugs.
make.texinfo
[
diff
]
1 file changed
tree: 388c18902906cf9f6da14d815660928ce805203e
make.texinfo