Add replace-version-placeholder tool

This tool is to be ran at specific points in the release process to replace
the version place holder made by stabilizations with the version number.
This commit is contained in:
est31 2022-08-23 22:14:12 +02:00
parent a2e2d76768
commit d32ff14b86
8 changed files with 116 additions and 1 deletions

View file

@ -35,6 +35,7 @@ members = [
"src/tools/jsondocck",
"src/tools/html-checker",
"src/tools/bump-stage0",
"src/tools/replace-version-placeholder",
"src/tools/lld-wrapper",
]