| Index: tools/licenses.py
|
| diff --git a/tools/licenses.py b/tools/licenses.py
|
| index b7ea23341845a67943b3b76fed097919ea5bf658..5b68d5dd9aceda7be47f8c13c7f584a91c0e27a8 100755
|
| --- a/tools/licenses.py
|
| +++ b/tools/licenses.py
|
| @@ -47,7 +47,6 @@ PRUNE_PATHS = set([
|
| os.path.join('third_party','gnu_binutils'),
|
| os.path.join('third_party','gold'),
|
| os.path.join('third_party','gperf'),
|
| - os.path.join('third_party','kasko'),
|
| os.path.join('third_party','lighttpd'),
|
| os.path.join('third_party','llvm'),
|
| os.path.join('third_party','llvm-build'),
|
|
|