|
From: | Israel Herraiz |
Subject: | [Octave-bug-tracker] [bug #36358] Add settings to change the terminal font |
Date: | Fri, 04 May 2012 18:21:33 +0000 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/535.19 (KHTML, like Gecko) Chrome/18.0.1025.162 Safari/535.19 |
Follow-up Comment #4, bug #36358 (project octave): I think you mean this changeset: http://hg.savannah.gnu.org/hgweb/octave/rev/fa52c6e84ae0 _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?36358> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |