The following commit has been merged in the master branch:
commit cbb53abdb264f65865ad4f728f531bc2ed6e5a46
Author: Stephane Glondu <st...@glondu.net>
Date: Mon Jun 27 09:51:50 2011 +0200
Update debian/docs
diff --git a/debian/docs b/debian/docs
index 71dfd5b..e845566 100644
--- a/debian/docs
+++ b/debian/docs
@@ -1 +1 @@
-README.txt
+README
--
bin-prot 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
