comparison default_options.h @ 1344:b90da477ab63 coverity

merge coverity
author Matt Johnston <matt@ucc.asn.au>
date Thu, 18 May 2017 23:02:39 +0800
parents 5abbecdecba4
children 4f8eb331174f
comparison
equal deleted inserted replaced
1318:10e2a7727253 1344:b90da477ab63