Binary files DejaVuSansMono.ttf	2006/07/05 16:13:48	1.2 and DejaVuSansMono.ttf	2006/07/21 07:12:56	1.3 differ