X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fapplications%2Funison%2FREADME;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fapplications%2Funison%2FREADME;h=0000000000000000000000000000000000000000;hb=bb2953675ebb08267186029b18bc3fdca9c137df;hp=73bcc25110ce093138020e61007651f3c13c09a5;hpb=1cfcea66d7394a785ec439cd6b03497b276918c4;p=helm.git

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
index 73bcc2511..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/unison/README
+++ /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$