##
## All lines beginning with `## DP:' are a description of the patch.
## DP: http://www.stanford.edu/tinyos/toolchain/repo/deputy.patch,
##
## All lines beginning with `## DP:' are a description of the patch.
## DP: http://www.stanford.edu/tinyos/toolchain/repo/deputy.patch,