[Debian-islamic-commits] [libitl] 14/18: Remove unneeded *dirs file

[أحمد المحمودي (Ahmed El-Mahmoudy)]

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

aelmahmoudy-guest pushed a commit to branch master
in repository libitl.

commit 9cee513f4014b95a3f9b3e7d601ec52c55f4c9cc
Author: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy at users.sourceforge.net>
Date:   Tue Oct 24 15:00:38 2017 +0200

    Remove unneeded *dirs file
---
 debian/libitl-dev.dirs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/debian/libitl-dev.dirs b/debian/libitl-dev.dirs
deleted file mode 100644
index 7e6b7ce..0000000
--- a/debian/libitl-dev.dirs
+++ /dev/null
@@ -1 +0,0 @@
-usr/include/itl

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