chore(release.toml): set up cargo release

leanprover · Apr 13, 2018 · 88cf79d · 88cf79d
1 parent f18a7b0
commit 88cf79d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/release.toml b/release.toml
@@ -0,0 +1,2 @@
+no-dev-version = true
+tag-prefix = "v"