diff man/text.texi @ 40852:9bab19e15c01

#
author André Spiegel <spiegel@gnu.org>
date Fri, 09 Nov 2001 15:02:39 +0000
parents a09c65c0b5e2
children c44f2c24d43c
line wrap: on
line diff