[Pkg-ocaml-maint-commits] [SCM] bin-prot packaging branch, master, updated. debian/1.2.24-1-12-g8301999

[Stephane Glondu]

The following commit has been merged in the master branch:
commit cbb53abdb264f65865ad4f728f531bc2ed6e5a46
Author: Stephane Glondu <steph at 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