The following commit has been merged in the master branch:
commit 765a1ec9c94637e6531632ef893cb493e995bf1f
Author: Stephane Glondu <st...@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
_______________________________________________
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
