diff make-dist @ 71584:3ef63b118eec

(Visiting): filename -> file name.
author Richard M. Stallman <rms@gnu.org>
date Mon, 03 Jul 2006 15:49:14 +0000
parents b99080e25b28
children ef43d43a40be 72dea2ff0142
line wrap: on
line diff