[Pkg-ocaml-maint-commits] [SCM] cduce packaging branch, master, updated. debian/0.5.3-1-5-gb0d08fd

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 059b6a098620dedd4e2b0b559e753ca83537254f
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Mar 24 20:40:14 2009 +0100

    Remove dpatch leftover

diff --git a/debian/patches/00list b/debian/patches/00list
deleted file mode 100644
index e69de29..0000000

-- 
cduce packaging