get rid of non-generated interface headers, we don't need them
authorkremlin <ian@kremlin.cc>
Tue, 15 Jul 2014 04:48:05 +0000 (23:48 -0500)
committerkremlin <ian@kremlin.cc>
Tue, 15 Jul 2014 04:48:05 +0000 (23:48 -0500)

No differences found