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

Add suffices to scripts in scripts-dev#12137

Merged

DMRobertson merged 4 commits intodevelopfrom dmr/scripts-dev-suffix

Mar 2, 2022

+19-12

Commits on Mar 2, 2022

Rename scripts-dev to have suffices
David Robertson
committed
Update references to scripts-dev
David Robertson
committed
Changelog
David Robertson
committed
These scripts don't pass mypy
David Robertson
committed