diff configure @ 28768:d5e0b9e3cefc

100l, remove a pointless opt = NULL assignment that made print_int crash since r28794
author reimar
date Tue, 03 Mar 2009 18:12:03 +0000
parents 1f76d86e49ae
children ee67a72f9dde
line wrap: on
line diff