[getdp] 05/20: remove useless debian/dirs file

Mattia Rizzolo mattia at debian.org
Fri Feb 12 19:58:25 UTC 2016


This is an automated email from the git hooks/post-receive script.

mattia pushed a commit to branch master
in repository getdp.

commit 862c7efcf40df5dc221c69a5f9281ca055e90993
Author: Mattia Rizzolo <mattia at debian.org>
Date:   Fri Feb 12 16:08:16 2016 +0000

    remove useless debian/dirs file
---
 debian/dirs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/debian/dirs b/debian/dirs
deleted file mode 100644
index e772481..0000000
--- a/debian/dirs
+++ /dev/null
@@ -1 +0,0 @@
-usr/bin

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/getdp.git



More information about the debian-science-commits mailing list