# HG changeset patch # User wenzelm # Date 1219582785 -7200 # Node ID 5dbdf841d4b07c380712a0c01d30216484ac3a1a # Parent a99ed3dc18c7682c043c508188fa868e76094886 generated file; diff -r a99ed3dc18c7 -r 5dbdf841d4b0 lib/fonts/IsabelleMono.ttf Binary file lib/fonts/IsabelleMono.ttf has changed