diff move-if-change @ 30501:2c2ed2dae36f

file-name-extension
author Dave Love <fx@gnu.org>
date Thu, 27 Jul 2000 13:13:23 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff