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

Commit

Permalink
Remove redundant, unmaintained convert_server_keys script. (#10055)
Browse files Browse the repository at this point in the history
  • Loading branch information
richvdh committed May 27, 2021
1 parent fe5dad4 commit 5447a76
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 108 deletions.
1 change: 1 addition & 0 deletions changelog.d/10055.misc
@@ -0,0 +1 @@
Remove redundant, unmaintained `convert_server_keys` script.
108 changes: 0 additions & 108 deletions scripts-dev/convert_server_keys.py

This file was deleted.

0 comments on commit 5447a76

Please sign in to comment.