log options.h @ 1938:77bc00dcc19f default tip main master

age author description
Thu, 01 Mar 2018 22:12:30 +0800 Matt Johnston mention localoptions.h being build directory, fix underscore in CHANGES
Mon, 19 Feb 2018 22:16:50 +0800 Matt Johnston - Fix dependencies and remove old default_options.h from version control