diff man/files.texi @ 33974:e2a51eb8b6cc

Update from author.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 28 Nov 2000 22:32:21 +0000
parents a81d05721a68
children 2d8a69640e7f
line wrap: on
line diff