diff configure @ 112436:473533159689

Mark tiny change.
author Glenn Morris <rgm@gnu.org>
date Sat, 22 Jan 2011 19:33:59 -0800
parents 3c76e72abd5d
children 16ddab338c43
line wrap: on
line diff