[Pkg-ocaml-maint-commits] [SCM] fieldslib packaging branch, master, updated. debian/107.01-1-15-gfebf378

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 765a1ec9c94637e6531632ef893cb493e995bf1f
Author: Stephane Glondu <steph at glondu.net>
Date:   Sun Jun 23 22:42:18 2013 +0200

    Update packaging

diff --git a/debian/docs b/debian/docs
index e845566..71dfd5b 100644
--- a/debian/docs
+++ b/debian/docs
@@ -1 +1 @@
-README
+README.txt

-- 
fieldslib packaging