1 2 3 4 5 6 7 8 9 | <?php $type='TrueTypeUnicode'; $name='DejaVuSansMono'; $desc=array('Ascent'=>928,'Descent'=>-236,'CapHeight'=>9,'Flags'=>33,'FontBBox'=>'[-558 -375 718 1042]','ItalicAngle'=>0,'StemV'=>70,'MissingWidth'''; $diff=''; $file='dejavusansmono.z'; $ctg='dejavusansmono.ctg.z'; $originalsize=323288; // --- EOF --- |