Hongbin Lu 93ab0855bd Remove unused file tools/cover.sh
After commit I6f845ab4ef1a1c91048666614799a03ab02ab765 , this file
is not used anymore.

Change-Id: I6c7d072cc5d5c922afbeba108ae2a4fce06b1f1d
2018-10-25 03:55:03 +00:00
..
2016-05-14 16:57:07 +05:30
2018-02-28 09:25:52 +05:30
2016-06-08 22:21:34 -05:00
2016-06-08 22:21:34 -05:00