The following commit has been merged in the master branch:
commit f767c7b099dc2aaab1f04160bd318e6a42d34424
Author: Nicolas Dandrimont <nicolas.dandrim...@crans.org>
Date: Mon Jul 1 22:19:09 2013 +0200
Don't list README.Debian in debian/docs
diff --git a/debian/docs b/debian/docs
index d5869d1..5502ed8 100644
--- a/debian/docs
+++ b/debian/docs
@@ -1,4 +1,3 @@
NEWS
README
TODO
-README.Debian
--
marionnet packaging
_______________________________________________
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
