Remove some unused scripts from tools/.
authorDiego Biurrun <diego@biurrun.de>
Sat, 4 Jun 2011 16:45:28 +0000 (18:45 +0200)
committerDiego Biurrun <diego@biurrun.de>
Sun, 5 Jun 2011 23:31:02 +0000 (01:31 +0200)
commiteb7505e4295dca9c3ab8c01e055a458e07857ef0
treee1d326ceb247d19b2673f3f720b6f95925dcfd93
parenta8d44f9dd5e2b0e65976c586a6185882d673317b
Remove some unused scripts from tools/.
tools/build_avopt [deleted file]
tools/clean-diff [deleted file]
tools/jauche_sortierer.sh [deleted file]
tools/unwrap-diff [deleted file]