(cargo-release) start next development iteration 0.7.5-pre

leanprover · Mar 20, 2019 · 9c56b05 · 9c56b05
1 parent 02e7f5a
commit 9c56b05
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 
 name = "elan"
-version = "0.7.4"
+version = "0.7.5-pre"
 authors = [ "Sebastian Ullrich <[email protected]>" ]
 description = "Manage multiple Lean installations with ease"
 publish = false