../ fontexport.pe,v 30-Jul-2025 18:01 1404 setisFixedPitch-fonttools.py,v 30-Jul-2025 18:01 2650 sfd2ttf.pe,v 30-Jul-2025 18:01 1105 ttf2sfd.pe,v 30-Jul-2025 18:01 1090