--- 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"
###