diff TODO @ 351:837728b3cbf4

Switch to DejaVuSansMono, which has less licencing issues than chintzy
author Stefano Rivera <stefano@rivera.za.net>
date Sat, 28 Aug 2010 15:39:39 +0200
parents a7c8fb27a183
children 7338d8f49f64
line wrap: on
line diff