diff default_options.h @ 1503:78d8c3ffdfe1

use NULL instead of 0
author Francois Perrad <francois.perrad@gadz.org>
date Thu, 25 Jan 2018 18:19:49 +0100
parents 1ea92dd2ca5f
children 6c16a05023aa 1d163552145f bb8eaa26bc93
line wrap: on
line diff