Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/fontserver/config-sample
changeset 9818 71de955e8fc9
parent 3291 cf322b5c59aa 
--- a/lib/fontserver/config-sample	Sun Sep 03 20:00:34 2000 +0200
+++ b/lib/fontserver/config-sample	Sun Sep 03 20:01:27 2000 +0200
@@ -1,5 +1,7 @@
 #
 # $Id$
+# Author: Markus Wenzel, TU Muenchen
+# License: GPL (GNU GENERAL PUBLIC LICENSE)
 #
 # X11 font server sample configuration
 # (Cf. your local man page of 'xfs' or 'fs'!)
isabelle