diff man/info.texi @ 40852:9bab19e15c01

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