Skip to content
This repository was archived by the owner on Apr 26, 2024. It is now read-only.

Commit 5447a76

Browse files
authored
Remove redundant, unmaintained convert_server_keys script. (#10055)
1 parent fe5dad4 commit 5447a76

File tree

2 files changed

+1
-108
lines changed

2 files changed

+1
-108
lines changed

changelog.d/10055.misc

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
Remove redundant, unmaintained `convert_server_keys` script.

scripts-dev/convert_server_keys.py

Lines changed: 0 additions & 108 deletions
This file was deleted.

0 commit comments

Comments
 (0)