log tern.c @ 2170:ada3130b1396

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