diff man/files.texi @ 41952:cf39e35201ff

(jdb): Doc fix.
author Pavel Janík <Pavel@Janik.cz>
date Tue, 11 Dec 2001 07:33:06 +0000
parents e9a06f7efd3f
children 86a0b7cc1600
line wrap: on
line diff