<?php
$type='TrueTypeUnicode';
$name='DejaVuSerifCondensed';
$desc=array('Ascent'=>928,'Descent'=>-236,'CapHeight'=>5,'Flags'=>32,'FontBBox'=>'[-692 -347 1511 1109]','ItalicAngle'=>0,'StemV'=>70,'MissingWidth''';
$diff='';
$file='dejavuserifcondensed.z';
$ctg='dejavuserifcondensed.ctg.z';
$originalsize=304328;
// --- EOF ---