# HG changeset patch
# User wenzelm
# Date 969041888 -7200
# Node ID b06f6d2eef5f53bda1244eddb703a5816971868a
# Parent  c0f7fb6e538e3f44aa483cf2399e46712cb456fe
XSYMBOL_INSTALLFONTS is back;

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