diff man/files.texi @ 88732:47ddcc90547c

Changes from trunk.
author Dave Love <fx@gnu.org>
date Mon, 10 Jun 2002 15:35:49 +0000
parents 21907e7569d1
children 02ff23017427
line wrap: on
line diff