diff man/misc.texi @ 36737:71af0a08c2cc

Mention that file names are tags.
author Francesco Potortì <pot@gnu.org>
date Mon, 12 Mar 2001 12:41:32 +0000
parents 11db0318031d
children 6883b349cfd6
line wrap: on
line diff