log default_options.h @ 1519:2f4d52b1334e

age author description
Sun, 18 Feb 2018 23:48:24 +0800 Matt Johnston missed regenerating
Sun, 18 Feb 2018 00:29:17 +0800 Matt Johnston rename some options and move some to sysoptions.h
Wed, 14 Feb 2018 00:17:22 +0800 Matt Johnston update default_options.h