# 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