]> git.hungrycats.org Git - linux/commit
[PATCH] Remove checkhelp.pl and header.tk
authorBrian Gerst <bgerst@didntduck.org>
Fri, 21 Feb 2003 09:48:35 +0000 (01:48 -0800)
committerLinus Torvalds <torvalds@home.transmeta.com>
Fri, 21 Feb 2003 09:48:35 +0000 (01:48 -0800)
commitdccd1d8fd7854b8f88043f77ff05b9e6460186d9
tree2c1f9d303f27650821d188c658c3f1c709a26a8a
parent22d22de644b19e3af410f9e6abe412c1c2fab75c
[PATCH] Remove checkhelp.pl and header.tk

Changes in the config system have obsoleted these files.
scripts/checkhelp.pl [deleted file]
scripts/header.tk [deleted file]