chore(tools): remove old unused tools

aquasecurity · Jul 24, 2023 · c83dbe1 · c83dbe1
1 parent c35422a
commit c83dbe1
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 1,114 deletions.
diff --git a/tools/README.md b/tools/README.md
diff --git a/tools/dedup.sh b/tools/dedup.sh
diff --git a/tools/extract.sh b/tools/extract.sh
diff --git a/tools/old-btfgen.sh b/tools/old-btfgen.sh