chore: remove unused bin items (#7593)

ietf-tools · Jun 26, 2024 · a1902cf · a1902cf
1 parent a614ecc
commit a1902cf
Show file tree

Hide file tree

Showing 7 changed files with 0 additions and 363 deletions.
diff --git a/bin/count.c b/bin/count.c
diff --git a/bin/daily b/bin/daily
diff --git a/bin/drop-new-tables b/bin/drop-new-tables
diff --git a/bin/dump-to-names-json b/bin/dump-to-names-json
diff --git a/bin/mkdiagram b/bin/mkdiagram
diff --git a/bin/release-coverage b/bin/release-coverage
diff --git a/bin/update b/bin/update