[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. debian/1.4.2-4-13-g5a31fbb

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 5a31fbbb7b52cef53622e624d9a1c93f3881b011
Author: Ralf Treinen <treinen at vanadium.pps.jussieu.fr>
Date:   Thu Aug 20 16:39:32 2009 +0200

    test finished, cleanup

diff --git a/debian/TEST b/debian/TEST
deleted file mode 100644
index 168e43b..0000000
--- a/debian/TEST
+++ /dev/null
@@ -1 +0,0 @@
-OLD

-- 
pkglab packaging