<?php
$type='TrueTypeUnicode';
$name='DejaVuSans';
$desc=array('Ascent'=>928,'Descent'=>-236,'CapHeight'=>30,'Flags'=>96,'FontBBox'=>'[-1021 -415 1681 1167]','ItalicAngle'=>20.8,'StemV'=>70,'MissingWidth''';
$diff='';
$file='dejavusans.z';
$ctg='dejavusans.ctg.z';
$originalsize=683528;
// --- EOF ---