We do not like "HEAD" as a new branch name

[git.git] / debian / docs

diff --git a/debian/docs b/debian/docs
index a252d0f..e845566 100644 (file)
--- a/debian/docs
+++ b/debian/docs
@@ -1,3 +1 @@
 README
-COPYING
-