source: @ 7697

Name Size Rev Age Author Last Change
trunk 7684   14 years rme Add preference option so that bitmap screen font substitution can be …
tags 5710   15 years anonymous This commit was manufactured by cvs2svn to create tag 'tag_070117'.
branches 7697   14 years gb Bump fasl version.
Note: See TracBrowser for help on using the repository browser.