diff options.h @ 618:b5cc8878d5ec

Properly fix the bug found years ago by Klocwork, refound again.
author Matt Johnston <matt@ucc.asn.au>
date Thu, 07 Apr 2011 13:33:26 +0000
parents e4991659fc10
children d40f3cc47aed
line wrap: on
line diff