diff configure.in @ 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 52a687c4840a
children a303509b9c29
line wrap: on
line diff