The following commit has been merged in the master branch:
commit 7387ca26ab4c944349d2b0c075f43e76e1bef731
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date:   Sun May 4 10:19:24 2008 +0200

    ship upstream doc

diff --git a/debian/docs b/debian/docs
new file mode 100644
index 0000000..724e084
--- /dev/null
+++ b/debian/docs
@@ -0,0 +1,2 @@
+README
+TODO

-- 
res packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to