comparison make-dist @ 30501:2c2ed2dae36f

file-name-extension
author Dave Love <fx@gnu.org>
date Thu, 27 Jul 2000 13:13:23 +0000
parents 349704f6532f
children 28cc44c6c08c
comparison
equal deleted inserted replaced
30500:1d1ab0dfb528 30501:2c2ed2dae36f