diff man/text.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 4f19e6a45a2d
children d91ec7a1c11e
line wrap: on
line diff