]>
author | David Kastrup <dak@gnu.org> | |
Tue, 26 May 2015 11:42:14 +0000 (13:42 +0200) | ||
committer | David Kastrup <dak@gnu.org> | |
Tue, 26 May 2015 12:59:44 +0000 (14:59 +0200) | ||
commit | 0c374a7a60135d03ee9f0a38132eb684be963473 | |
tree | c94824acf7c76652b7fdb7261f8d21986252ae25 | tree | snapshot |
parent | d4e42a07c4d5c144c8cbeec50712c0da4815f0f3 | commit | diff |
tex/texinfo.tex | diff | blob | history |