comparison 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
comparison
equal deleted inserted replaced
28767:8134ffd057d7 28768:d5e0b9e3cefc