chore: remove dead (relies on svn) command (#7332)

ietf-tools · Apr 16, 2024 · b458d47 · b458d47
1 parent 280481b
commit b458d47
Showing 1 changed file with 0 additions and 261 deletions.
diff --git a/bin/check-copyright b/bin/check-copyright