[Pkg-ocaml-maint-commits] [SCM] janest-core packaging branch, master, updated. debian/0.5.3-1-15-g5e4d02f

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 19f6dedab0da607a50b3041700769cef8c8a894a
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Wed Nov 11 12:22:03 2009 +0100

    add docs file (to avoid relying on CDBS defaults)

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

-- 
janest-core packaging