<?php
$type='TrueTypeUnicode';
$name='DejaVuSansMono-Bold';
$desc=array('Ascent'=>928,'Descent'=>-236,'CapHeight'=>13,'Flags'=>33,'FontBBox'=>'[-446 -394 731 1052]','ItalicAngle'=>0,'StemV'=>120,'MissingWidth''';
$diff='';
$file='dejavusansmonob.z';
$ctg='dejavusansmonob.ctg.z';
$originalsize=303644;
// --- EOF ---