octave-patch-tracker
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-patch-tracker] [patch #8246] platform depending default fonts fo

From: Torsten
Subject: [Octave-patch-tracker] [patch #8246] platform depending default fonts for the editor
Date: Tue, 03 Dec 2013 21:10:45 +0000
User-agent: Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:25.0) Gecko/20100101 Firefox/25.0 
Update of patch #8246 (project octave):

                  Status:                    None => Done                   
             Open/Closed:                    Open => Closed                 


    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/patch/?8246>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/
reply via email to
[Prev in Thread] Current Thread [Next in Thread]