1.1 --- a/etc/settings	Fri Sep 15 18:43:15 2000 +0200
     1.2 +++ b/etc/settings	Fri Sep 15 19:07:55 2000 +0200
     1.3 @@ -162,8 +162,6 @@
     1.4    "/usr/share/x-symbol" \
     1.5    "/usr/local/x-symbol" \
     1.6    "")
     1.7 -#required for remote fonts only ...
     1.8 -#XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
     1.9  
    1.10  
    1.11  ###