Andreas Jaeger 28442fdb45 Remove unused tools/tox_install.sh
This repo does not need tools/tox_install.sh anywhere, remove it.

Change-Id: Iff57595923b7351f07f77a764ce4316ce86952c1
2016-08-30 10:47:17 +02:00
..
2014-12-31 19:13:19 -08:00