diff options.h @ 403:75940fef22dd

Fix free() of null pointer found by Klocwork
author Matt Johnston <matt@ucc.asn.au>
date Sat, 03 Feb 2007 09:42:22 +0000
parents 55a99934db87
children 64abb124763d 9d110777f345 79bf1023cf11 973fccb59ea4 168272e481a8 dba106bf6b34 0aaaf68e97dc
line wrap: on
line diff