diff man/files.texi @ 39511:3195d967e954

Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Mon, 01 Oct 2001 06:08:20 +0000
parents 343d48d4e64c
children e9a06f7efd3f
line wrap: on
line diff