]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/unison/README
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / applications / unison / README
diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/unison/README b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/unison/README
deleted file mode 100644 (file)
index 73bcc25..0000000
+++ /dev/null
@@ -1,19 +0,0 @@
-       A GUI for Unison
-
-Here is a lablGTK port of Unison's GUI.
-Or rather was, since this is now the standard GUI for unison.
-
-Unison is a file synchronization software developped by Benjamin
-Pierce, Trevor Jim, and others.
-
-As of version 2.3.12, unison is based on LablGTK 1.00.
-To use it with the current version, you must:
- * get unison-2.3.12/src.tar.gz from http://www.cis.upenn.edu/~bcpierce/unison/
- * untar it in this directory
- * copy or make links for uigtk.ml here inside unison-2.3.12
-        ln -fs ../uigtk.ml .
- * make and follow instructions in INSTALL.txt
-
-Jacques Garrigue
-
-$Id$