← Back to team overview

gnusim8085-devel team mailing list archive

[Bug 579322] Re: Choosing a font in editor

 

** Changed in: gnusim8085
       Status: Fix Committed => Fix Released

-- 
You received this bug notification because you are a member of
GNUSim8085 developers, which is subscribed to gnusim8085.
https://bugs.launchpad.net/bugs/579322

Title:
  Choosing a font in editor

Status in gnusim8085:
  Fix Released

Bug description:
  Choose another font in editor/listing file.