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 <st...@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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits