diff man/abbrevs.texi @ 46404:24100426242b

Mention Texinfo 4.2 needed.
author Richard M. Stallman <rms@gnu.org>
date Tue, 16 Jul 2002 13:31:48 +0000
parents a5636409941f
children 2a8850f484eb d7ddb3e565de
line wrap: on
line diff