diff install-sh @ 40187:85c9805cd237

(file-name-sans-extension, file-name-extension): Don't count the leading dots in file names as signaling an extension.
author Eli Zaretskii <eliz@gnu.org>
date Mon, 22 Oct 2001 16:11:12 +0000
parents 35064c2e86d7
children 23a1cea22d13
line wrap: on
line diff