comparison configure1.in @ 16593:4ed80eda6fac

Use new names for w32 files
author Geoff Voelker <voelker@cs.washington.edu>
date Tue, 19 Nov 1996 07:04:49 +0000
parents c1e70445780e
children
comparison
equal deleted inserted replaced
16592:a5e9fa379097 16593:4ed80eda6fac