diff man/basic.texi @ 41708:8439236b7552

#
author André Spiegel <spiegel@gnu.org>
date Fri, 30 Nov 2001 13:49:28 +0000
parents 3b40423b9355
children c66f34e7d2cd
line wrap: on
line diff