log default_options.h.in @ 1517:7c7c5326ad73

age author description
Sun, 18 Feb 2018 22:27:51 +0800 Matt Johnston clean up some default options
Sun, 18 Feb 2018 00:29:17 +0800 Matt Johnston rename some options and move some to sysoptions.h
Thu, 20 Jul 2017 19:38:26 +0000 Michael Witten options: Complete the transition to numeric toggles (`#if')
Wed, 14 Feb 2018 00:24:44 +0800 Matt Johnston Move DEBUG_TRACE to default_options