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

[Mike Furr]

The following commit has been merged in the master branch:
commit 8ff0ee4d7e2417d9f30f8b39b9539bd8136cffdd
Author: Mike Furr <mfurr at debian.org>
Date:   Fri Feb 27 17:31:28 2009 -0500

    removed debian/files

diff --git a/debian/files b/debian/files
deleted file mode 100644
index 3a5547d..0000000
--- a/debian/files
+++ /dev/null
@@ -1,2 +0,0 @@
-libgmp-ocaml_20021123-14_amd64.deb libs optional
-libgmp-ocaml-dev_20021123-14_amd64.deb libdevel optional

-- 
mlgmp packaging