diff man/mini.texi @ 71580:2e6a94a2b36e

filename -> file name.
author Richard M. Stallman <rms@gnu.org>
date Mon, 03 Jul 2006 15:44:44 +0000
parents 37c66dd77b79
children bf3a186a50a6 138ce2701550
line wrap: on
line diff