log CHANGES @ 1524:d35cf9a5e0b5

age author description
Tue, 20 Feb 2018 19:29:55 +0800 Matt Johnston rename default_options.h.in in docs too
Sun, 18 Feb 2018 23:48:32 +0800 Matt Johnston draft CHANGES