diff configure @ 92295:72a3622268cc

(make-obsolete): Doc fix.
author Glenn Morris <rgm@gnu.org>
date Thu, 28 Feb 2008 03:47:59 +0000
parents e52edaf1152a
children 5e03935bac17
line wrap: on
line diff