# HG changeset patch
# User wenzelm
# Date 969028140 -7200
# Node ID d048e08f334786f53e180f31326e9767e97f4e7f
# Parent  05afcc505da35ad992cf2a22ec12464a1cf2a01e
#XSYMBOL_INSTALLFONTS;

diff -r 05afcc505da3 -r d048e08f3347 etc/settings
--- a/etc/settings	Fri Sep 15 16:28:04 2000 +0200
+++ b/etc/settings	Fri Sep 15 16:29:00 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"
 
 
 ###