diff make-dist @ 70701:3279e0cf893a

(file-name-extension): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Wed, 17 May 2006 22:54:35 +0000
parents b99080e25b28
children ef43d43a40be 72dea2ff0142
line wrap: on
line diff