Call this 0.10.1

Nemocas · Sep 25, 2018 · b135444 · b135444
1 parent 5bf6849
commit b135444
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Nemo.jl b/src/Nemo.jl
@@ -233,7 +233,7 @@ function __init__()
          (Ptr{Nothing},), @cfunction(flint_abort, Nothing, ()))
 
    println("")
-   println("Welcome to Nemo version 0.10.1-dev")
+   println("Welcome to Nemo version 0.10.1")
    println("")
    println("Nemo comes with absolutely no warranty whatsoever")
    println("")
@@ -254,7 +254,7 @@ end
 ################################################################################
 
 function versioninfo()
-  print("Nemo version 0.10.1-dev\n")
+  print("Nemo version 0.10.1\n")
   nemorepo = dirname(dirname(@__FILE__))
 
   print("Nemo: ")