[kido] 02/03: Define an override on kid source

[Jose Luis Rivero]

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

jrivero-guest pushed a commit to branch master
in repository kido.

commit 9775e8071e9d4331ed081d81de6f8e26c3d1faef
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Tue Feb 9 17:56:28 2016 +0000

    Define an override on kid source
---
 debian/source/lintian-overrides | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/debian/source/lintian-overrides b/debian/source/lintian-overrides
new file mode 100644
index 0000000..88ced70
--- /dev/null
+++ b/debian/source/lintian-overrides
@@ -0,0 +1,3 @@
+# package.xml is not a PEAR config.
+# package.xml is a file used by the ROS framework (robot operative system)
+kido source: pear-package-without-pkg-php-tools-builddep

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