Delete probably-unused platform_whitelist_tools

The scripts were last touched in 2014 by someone who no longer works at
Google. They seem to be utility functions used for reporting. Seems safe
to assume nobody is still using these files.


Change-Id: I527871394606ec8ca932e071c4cff4f6960148c8
Tested-by: Greg Edelston <>
Reviewed-by: Kevin Shelton <>
Reviewed-by: Katherine Threlkeld <>
Reviewed-by: Aviv Keshet <>
Commit-Queue: Greg Edelston <>
3 files changed