The following commit has been merged in the master branch:
commit aa3c6e82600f733f10b7ea02aa55129e7c416c1b
Author: Laurent Léonard <laur...@open-minds.org>
Date: Wed Feb 16 10:23:07 2011 +0100
Remove debian/docs
Since documentation files now have standard names
diff --git a/debian/docs b/debian/docs
deleted file mode 100644
index 5ef3a51..0000000
--- a/debian/docs
+++ /dev/null
@@ -1,2 +0,0 @@
-README
-TODO.virt-top
--
virt-top 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
