# HG changeset patch
# User wenzelm
# Date 969037675 -7200
# Node ID 3788cb659e0c9eb05822a39b3d15beeea77af8ed
# Parent  20433ebb241d82907791700a92fef8a6cac28579
tentative fix while hunting gremlins ...;

diff -r 20433ebb241d -r 3788cb659e0c etc/settings
--- a/etc/settings	Fri Sep 15 18:43:15 2000 +0200
+++ b/etc/settings	Fri Sep 15 19:07:55 2000 +0200
@@ -162,8 +162,6 @@
   "/usr/share/x-symbol" \
   "/usr/local/x-symbol" \
   "")
-#required for remote fonts only ...
-#XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
 
 
 ###