chore: adjust release.toml

leanprover · Apr 24, 2023 · 327e232 · 327e232
1 parent 57ff32e
commit 327e232
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/release.toml b/release.toml
@@ -1,2 +1 @@
-dev-version-ext = "pre"
-pre-release-replacements = [ {file="CHANGELOG.md", search="Unreleased", replace="{{version}} - {{date}}"} ]
+pre-release-replacements = [ {file="CHANGELOG.md", search="Unreleased", replace="{{version}} - {{date}}"} ]