diff man/indent.texi @ 42561:d0f023f30837

Remove unnecessary whitespace.
author Pavel Janík <Pavel@Janik.cz>
date Sat, 05 Jan 2002 19:02:55 +0000
parents a093cd4ed690
children c48cc0f16c0e
line wrap: on
line diff