summaryrefslogtreecommitdiffstats
path: root/doc/texinfo-suppl.tex
Commit message (Expand)AuthorAgeFilesLines
* Remove the last vestiges of the texinfo docsBen Kaduk2012-10-151-7/+0
* Extracted addition to texinfo.tex (for @doubleleftarrow{} command) intoJeff Bigler1996-09-091-0/+7