Skip to content

Commit

Permalink
Bump version number of Nemo
Browse files Browse the repository at this point in the history
  • Loading branch information
thofma committed Dec 23, 2017
1 parent 63c05b5 commit de56995
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/Nemo.jl
Original file line number Diff line number Diff line change
Expand Up @@ -117,7 +117,7 @@ function __init__()
(Ptr{Void},), cfunction(flint_abort, Void, ()))

println("")
println("Welcome to Nemo version 0.7.0")
println("Welcome to Nemo version 0.7.1")
println("")
println("Nemo comes with absolutely no warranty whatsoever")
println("")
Expand All @@ -138,7 +138,7 @@ end
################################################################################

function versioninfo()
print("Nemo version 0.7.0 \n")
print("Nemo version 0.7.1 \n")
nemorepo = dirname(dirname(@__FILE__))

print("Nemo: ")
Expand Down

0 comments on commit de56995

Please sign in to comment.