tree fda3f853e59b8f915d9c0965fdfc610638e29c64
parent df98a7ad3ada7044d46d1450339fb4255b8e6caa
author David Benjamin <davidben@chromium.org> 1451774560 -0800
committer Adam Langley <agl@google.com> 1455672855 +0000

Remove dead header file.

There's nothing in here.

Change-Id: I3a501389e7e237b2e6907f27d2eb788a298d6c03
Reviewed-on: https://boringssl-review.googlesource.com/6877
Reviewed-by: Adam Langley <agl@google.com>