Remove some unused scripts from tools/.

This commit is contained in:
Diego Biurrun 2011-06-04 18:45:28 +02:00
parent a8d44f9dd5
commit eb7505e429
4 changed files with 0 additions and 43 deletions