| changeset 61500 | 56a167b31a7f |
| parent 61355 | 31829cf53f5d |
| child 61735 | a1b779ee035c |
--- a/etc/settings Wed Oct 21 17:53:26 2015 +0200 +++ b/etc/settings Wed Oct 21 18:00:12 2015 +0200 @@ -124,7 +124,6 @@ ### Rendering information ### -ISABELLE_FONTS="$ISABELLE_HOME/lib/fonts/IsabelleText.ttf:$ISABELLE_HOME/lib/fonts/IsabelleTextBold.ttf" ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols"