Remove more dead/broken dev scripts (#12355)
Showing
- changelog.d/12355.misc 1 addition, 0 deletionschangelog.d/12355.misc
- mypy.ini 0 additions, 3 deletionsmypy.ini
- scripts-dev/definitions.py 0 additions, 208 deletionsscripts-dev/definitions.py
- scripts-dev/hash_history.py 0 additions, 81 deletionsscripts-dev/hash_history.py
- scripts-dev/tail-synapse.py 0 additions, 67 deletionsscripts-dev/tail-synapse.py
changelog.d/12355.misc
0 → 100644
scripts-dev/definitions.py
deleted
100755 → 0
scripts-dev/hash_history.py
deleted
100644 → 0
scripts-dev/tail-synapse.py
deleted
100644 → 0
Please register or sign in to comment