log src/release-octave-1-defaults.patch @ 4810:b5247f4c2dd4

age author description
Tue, 21 Aug 2018 16:21:27 -0400 John W. Eaton allow default font, font size and editor to be set from environment