Thomas Bechtold 551e92f216 Drop run_tests.sh and tools/colorizer.py
The CI is not using run_tests.sh so I assume people do not use it
either.
tools/colorizer.py is only used by run_tests.sh so remove this as
well.

Change-Id: I498943725f2635918141c1b02a5419e7eb90bd36
2019-03-20 12:09:01 +01:00
..
2018-01-14 13:26:53 +08:00
2018-10-04 09:55:45 -04:00
2016-02-21 09:19:39 -05:00