# HG changeset patch
# User wenzelm
# Date 863440366 -7200
# Node ID 1f86ec907a3fa5adce71542a929305b141b407b4
# Parent  73473cb66bcf6a113cfdda8d2ae0ab418d037fbc
removed README;

diff -r 73473cb66bcf -r 1f86ec907a3f lib/fonts/README
--- a/lib/fonts/README	Mon May 12 14:31:20 1997 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,14 +0,0 @@
-
-Note on fonts and remote X11
-============================
-
-You may want to install this directory on any machine that is used as
-X11 terminal for Isabelle sessions, but does not mount the full
-distribution.
-
-In case the fonts directory does not appear on both the client and
-server side at the same location, the ISABELLE_INSTALLFONTS setting
-has to be adapted, though.
-
-
-$Id$