diff configure @ 99999:57eefe5edf84

(Format Conversion Round-Trip): Improve previous change.
author Glenn Morris <rgm@gnu.org>
date Fri, 28 Nov 2008 03:32:06 +0000
parents 22693272e407
children 816fe1a75404
line wrap: on
line diff