diff man/gnu.texi @ 32951:92306ae7a88d

#
author André Spiegel <spiegel@gnu.org>
date Fri, 27 Oct 2000 12:19:24 +0000
parents ac7e9e5e2ccb
children df827c1def99
line wrap: on
line diff