diff options
| author | Paul Bolle <pebolle@tiscali.nl> | 2018-11-06 13:41:59 +0100 |
|---|---|---|
| committer | Justin M. Forbes <jforbes@fedoraproject.org> | 2018-11-06 09:43:15 -0600 |
| commit | 73cf59ae2cbf6d1c53d01451ea354164b504853e (patch) | |
| tree | 4d565eee7a45d86e71055322ce331a3c67bf7f94 /scripts/check-configs.pl | |
| parent | 980b5751f77839480ec6f0c805b36e4ee1d9ebc4 (diff) | |
| download | kernel-73cf59ae2cbf6d1c53d01451ea354164b504853e.tar.gz kernel-73cf59ae2cbf6d1c53d01451ea354164b504853e.tar.xz kernel-73cf59ae2cbf6d1c53d01451ea354164b504853e.zip | |
Remove sources for kernel-tools
The userspace tools were split out into kernel-tools last year. Remove
their sources too.
Signed-off-by: Paul Bolle <pebolle@tiscali.nl>
Diffstat (limited to 'scripts/check-configs.pl')
0 files changed, 0 insertions, 0 deletions