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 /merge.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 'merge.pl')
0 files changed, 0 insertions, 0 deletions