# HG changeset patch # User wenzelm # Date 1219423080 -7200 # Node ID b9be5a4fc5c7a4b2e03ce54e4e11229d3395ee92 # Parent 006334dd31a0b5effe11e509363cc6a316c52d0a generated ttf; diff -r 006334dd31a0 -r b9be5a4fc5c7 lib/fonts/IsabelleItalic.ttf Binary file lib/fonts/IsabelleItalic.ttf has changed diff -r 006334dd31a0 -r b9be5a4fc5c7 lib/fonts/IsabelleMono.ttf Binary file lib/fonts/IsabelleMono.ttf has changed