tree 886903cc9a09fbe7b7757ba1b18ba64da7018c70
parent ef45005c2c441a89a9bd84b9b0f22ac8a2fd9b65
author Patrick Venture <venture@google.com> 1538150165 -0700
committer Patrick Venture <venture@google.com> 1538174620 +0000

main: drop unused headers

Dropped headers that were added during development.  These headers are
no longer required.

Change-Id: Ib725e642dfb33dfaf55eb10d36f7ffe32f3a6789
Signed-off-by: Patrick Venture <venture@google.com>