diff configure @ 25312:643c5e2b6b56

Comment out unused variable.
author diego
date Mon, 10 Dec 2007 14:13:34 +0000
parents 0a5be31447bb
children 4995bef769cf
line wrap: on
line diff