diff configure @ 62360:c38d0cd4d5c8

Correct/improve previous change.
author Richard M. Stallman <rms@gnu.org>
date Sun, 15 May 2005 13:49:31 +0000
parents 70e1a2342c4f
children dc112019132f 6fef25c75847
line wrap: on
line diff