[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, debian/documentation-paths, updated. debian/0.1.8.deb-4-11-ga718c5f

[Eugeniy Meshcheryakov]

The following commit has been merged in the debian/documentation-paths branch:
commit a718c5fd44cfa044f615fa79bdd659b3a1a0f834
Merge: 1ae90ced585e12b1fcdb729b41b954a369c113bd 8e6fb7c8d749c9e67cf3efa30e5c7f7cc37fb780
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Sun Aug 9 20:38:50 2009 +0200

    Merge commit 'refs/top-bases/debian/documentation-paths' into debian/documentation-paths


-- 
Debian packaging for coccinelle