Add 'debian/' from commit '3814f9febb4315c71e12ff32751afe5f73ada996'

[tinyos-2.x.git] / debian / tinyos-tools.lintian-overrides

diff --git a/debian/tinyos-tools.lintian-overrides b/debian/tinyos-tools.lintian-overrides
new file mode 100644 (file)
index 0000000..a591cca
--- /dev/null
+++ b/debian/tinyos-tools.lintian-overrides
@@ -0,0 +1,3 @@
+dir-or-file-in-opt
+manpage-has-errors-from-man
+unstripped-binary-or-object