diff configure @ 103682:2b764d5d156c

Re-order a few things to reduce some underfull lines in dvi output.
author Glenn Morris <rgm@gnu.org>
date Thu, 02 Jul 2009 02:31:38 +0000
parents 02bc348744ed
children 6f4661f3af1c
line wrap: on
line diff