tinyos/tinyos-main — pull request #301 by jdede (2014-08-03 09:47:49+00:00)
Title: Fix "make uninstall"

`make uninstall` of the tinyos-tools failed because of some missing make targets. Furthermore, some python files were not removed correctly. This PR fixes both.