diff make-dist @ 8071:184f2c23ff45

(Info-index): Fix typo: t => \t.
author Richard M. Stallman <rms@gnu.org>
date Tue, 28 Jun 1994 04:14:41 +0000
parents cba3121c44b7
children bd5b4c5dda7f
line wrap: on
line diff