The following commit has been merged in the master branch:
commit 2f3c8f7c374830b290bb50fda415e3fff22c68b5
Author: Stephane Glondu <st...@glondu.net>
Date:   Tue Aug 9 09:53:58 2011 +0200

    More cleaning

diff --git a/debian/clean b/debian/clean
new file mode 100644
index 0000000..e032546
--- /dev/null
+++ b/debian/clean
@@ -0,0 +1 @@
+testdata/ext.out

-- 
cppo packaging

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

Reply via email to