diff man/misc.texi @ 26210:fc4fefae9970

Patch from rms.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 27 Oct 1999 09:08:15 +0000
parents ac7e9e5e2ccb
children df10644e22b5
line wrap: on
line diff