log default_options.h @ 1542:940828026f28

age author description
Mon, 26 Feb 2018 22:14:11 +0800 Matt Johnston disable group1 in default config
Mon, 19 Feb 2018 23:14:49 +0800 Matt Johnston merge coverity coverity