PR #13286 Remove old unused scripts from `misc/`

Remove old unused scripts from `misc/` #13286

sobolevn merged 5 commits into python:master from sobolevn:remove-old-misc-scripts

Remove old unused scripts from `misc/`

5d1f9314

Do not touch external readme

57017bf0

emmatyping requested a review from

JukkaL 3 years ago

emmatyping removed review request from

JukkaL 3 years ago

JukkaL approved these changes on 2022-08-23

Merge

57c8baa4

Merge branch 'remove-old-misc-scripts' of https://github.com/sobolevn…

b1bd22ce

Do not check `scripts/`

232633b2

sobolevn merged 1efb110d into master 3 years ago

Reviewers

JukkaL

Assignees

No one assigned

Labels

None yet

Milestone

No milestone