gnusim8085-devel team mailing list archive

[Onkar Shinde <onkarshinde@xxxxxxxxx>]

Committed the patch with few changes of my own.

** Changed in: gnusim8085
    Milestone: None => 1.3.7

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

** Changed in: gnusim8085
    Milestone: 1.3.7 => None

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

Status in gnusim8085: Fix Committed

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