diff default_options.h @ 1538:f20038b513a5

more linting (#58) * const parameter * fix indentation
author François Perrad <francois.perrad@gadz.org>
date Mon, 26 Feb 2018 14:31:15 +0100
parents 198e2ee0f4b1
children 1d163552145f 940828026f28
line wrap: on
line diff