From: kremlin <ian@kremlin.cc>
Date: Tue, 15 Jul 2014 04:48:05 +0000 (-0500)
Subject: get rid of non-generated interface headers, we don't need them
X-Git-Url: https://uglyman.kremlin.cc/gitweb/gitweb.cgi?a=commitdiff_plain;h=e0f1d46947781bc131012fc9a99b9c9f8c1b14c8;hp=e0f1d46947781bc131012fc9a99b9c9f8c1b14c8;p=systembsd.git

get rid of non-generated interface headers, we don't need them
---