[Pkg-ocaml-maint-commits] [unison] 08/13: Remove files cleaned by upstream clean target

[Stéphane Glondu]

This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository unison.

commit 6522c31de53d96b7f1efb63dc685fb73fc19663b
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Aug 17 14:09:23 2015 +0200

    Remove files cleaned by upstream clean target
---
 lwt/depend   | 12 ------------
 ubase/depend | 24 ------------------------
 2 files changed, 36 deletions(-)

diff --git a/lwt/depend b/lwt/depend
deleted file mode 100644
index b361eab..0000000
--- a/lwt/depend
+++ /dev/null
@@ -1,12 +0,0 @@
-lwt.cmo : lwt.cmi
-lwt.cmx : lwt.cmi
-lwt_unix.cmo : lwt_unix.cmi
-lwt_unix.cmx : lwt_unix.cmi
-lwt_util.cmo : lwt.cmi lwt_util.cmi
-lwt_util.cmx : lwt.cmx lwt_util.cmi
-pqueue.cmo : pqueue.cmi
-pqueue.cmx : pqueue.cmi
-lwt.cmi :
-lwt_unix.cmi : lwt.cmi
-lwt_util.cmi : lwt.cmi
-pqueue.cmi :
diff --git a/ubase/depend b/ubase/depend
deleted file mode 100644
index a581d26..0000000
--- a/ubase/depend
+++ /dev/null
@@ -1,24 +0,0 @@
-myMap.cmo : myMap.cmi
-myMap.cmx : myMap.cmi
-prefs.cmo : util.cmi uarg.cmi safelist.cmi prefs.cmi
-prefs.cmx : util.cmx uarg.cmx safelist.cmx prefs.cmi
-proplist.cmo : util.cmi proplist.cmi
-proplist.cmx : util.cmx proplist.cmi
-rx.cmo : rx.cmi
-rx.cmx : rx.cmi
-safelist.cmo : safelist.cmi
-safelist.cmx : safelist.cmi
-trace.cmo : util.cmi safelist.cmi prefs.cmi trace.cmi
-trace.cmx : util.cmx safelist.cmx prefs.cmx trace.cmi
-uarg.cmo : util.cmi safelist.cmi uarg.cmi
-uarg.cmx : util.cmx safelist.cmx uarg.cmi
-util.cmo : safelist.cmi util.cmi
-util.cmx : safelist.cmx util.cmi
-myMap.cmi :
-prefs.cmi : util.cmi
-proplist.cmi :
-rx.cmi :
-safelist.cmi :
-trace.cmi : prefs.cmi
-uarg.cmi :
-util.cmi :

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/unison.git