log tern.c @ 2113:0013362c320c

age author description
Mon, 09 Nov 2020 00:29:47 -0800 Michael Pavone Add a UI button to reset config to defaults