diff src/=unexsgi.c @ 30501:2c2ed2dae36f

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