log libgui/default-qt-settings.in @ 16522:bfff338c56d1

age author description
Tue, 16 Apr 2013 13:10:29 -0400 John W. Eaton set default terminal font for the GUI from the configure script base libgui/default-qt-settings@111e9e7f053a