[Pkg-ocaml-maint-commits] [SCM] mlgmp packaging branch, master, updated. upstream/20021123-2-g2d5f131

[Mike Furr]

The following commit has been merged in the master branch:
commit 2d5f131294c164765ae2bfd329afd13f92864cdd
Author: Mike Furr <mfurr at debian.org>
Date:   Fri Feb 27 17:30:21 2009 -0500

    accidentally committed patched/ directory

diff --git a/debian/patched/10_config.dpatch b/debian/patched/10_config.dpatch
deleted file mode 100644
index 72ec1f1..0000000
--- a/debian/patched/10_config.dpatch
+++ /dev/null
@@ -1 +0,0 @@
-patching file config.h
diff --git a/debian/patched/11_Makefile.dpatch b/debian/patched/11_Makefile.dpatch
deleted file mode 100644
index 20e9829..0000000
--- a/debian/patched/11_Makefile.dpatch
+++ /dev/null
@@ -1 +0,0 @@
-patching file Makefile
diff --git a/debian/patched/15_bugfixes.dpatch b/debian/patched/15_bugfixes.dpatch
deleted file mode 100644
index 892a788..0000000
--- a/debian/patched/15_bugfixes.dpatch
+++ /dev/null
@@ -1,4 +0,0 @@
-patching file gmp.ml
-patching file gmp.mli
-patching file mlgmp_z.c
-patching file test_suite.ml

-- 
mlgmp packaging