../ fontbbox.sed 18-Jan-1993 00:00 181 fontinf1.sed 12-Jan-1993 00:00 175 fontinf2.sed 22-Mar-1993 00:00 105 fontmetr.sed 12-Jan-1993 00:00 192 makeafm.bat 28-Jun-1993 00:00 4793 pccinfo.sed 18-Jan-1993 00:00 245 pccnames.sed 18-Jan-1993 00:00 1813