diff options
| author | Kai Germaschewski <kai@tp1.ruhr-uni-bochum.de> | 2003-02-19 02:13:46 -0600 |
|---|---|---|
| committer | Kai Germaschewski <kai@tp1.ruhr-uni-bochum.de> | 2003-02-19 02:13:46 -0600 |
| commit | 8e19dec4605cfd6ab8c3c92794e0eebda597648d (patch) | |
| tree | 7ac5f3c244e7f6eeadfc9dcc628256402ae856d8 /scripts/Makefile | |
| parent | b45a14760f77b7c36b96c971d8fcb5b7a8af0fab (diff) | |
kbuild: [PATCH] Remove checkhelp.pl and header.tk
From Brian Gerst:
> Changes in the config system have obsoleted these files.
Diffstat (limited to 'scripts/Makefile')
0 files changed, 0 insertions, 0 deletions