The following commit has been merged in the master branch:
commit 5a31fbbb7b52cef53622e624d9a1c93f3881b011
Author: Ralf Treinen <trei...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to