diff man/indent.texi @ 51270:827c306f0515

Add missing code from previous patch by David Ponce.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 27 May 2003 22:34:58 +0000
parents 4e1075214fa7
children 229d922db4a3
line wrap: on
line diff