diff man/indent.texi @ 26324:d772d01c5650

Patch from rms.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 03 Nov 1999 13:39:34 +0000
parents ac7e9e5e2ccb
children 898561c41ba0
line wrap: on
line diff