<?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 ---