diff configure.in @ 15061:85ee0c14c7dc

Fix a file name.
author Richard M. Stallman <rms@gnu.org>
date Mon, 22 Apr 1996 00:30:39 +0000
parents 3f2d133c05a8
children f7c5a03c6393
line wrap: on
line diff