##
## All lines beginning with `## DP:' are a description of the patch.
## DP: Patch tinyos.files to exclude debian build related files
##
## All lines beginning with `## DP:' are a description of the patch.
## DP: Patch tinyos.files to exclude debian build related files