projects / platform / upstream / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3ef8e9) | patch
* texinfo.tex (\paragraphindent): implement.
authorKarl Berry <karl@gnu.org>
Mon, 15 Feb 1999 13:15:05 +0000 (13:15 +0000)
committerKarl Berry <karl@gnu.org>
Mon, 15 Feb 1999 13:15:05 +0000 (13:15 +0000)
commit58085071441553b34ad1b06cd3f328bc15705383
tree7d8e7141140c670d928e80ec9a85536b11c0c19etree | snapshot
parente3ef8e974cec43a6a53b6568c7915c41e9633119commit | diff
* texinfo.tex (\paragraphindent): implement.
Suggestion from: Paul DuBois <dubois@primate.wisc.edu>.
* texinfo.tex (\alias): use def rather than \let.
Change timestamp format to include hours.
texinfo.tex diff | blob | history
Domain: System / Base;