log CHANGES @ 1533:2e9b6d9c7e7d

age author description
Tue, 20 Feb 2018 19:29:55 +0800 Matt Johnston rename default_options.h.in in docs too