log default_options.h @ 1367:00fb0a1f9b70 fuzz

age author description
Wed, 04 May 2016 17:59:34 +0200 Matt Johnston Add generated header default_options.h to version control.