Merge pull request #442 from JuliaReach/schillic/fix_documenter

#402 - Deploy docs from julia 0.6.0
JuliaReach · Jul 31, 2018 · b4e9556 · b4e9556
2 parents a7b21f7 + a8f9fdc
commit b4e9556
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -37,7 +37,7 @@ deploydocs(
     repo = "github.com/JuliaReach/LazySets.jl.git",
     target = "build",
     osname = "linux",
-    julia  = "0.6",
+    julia  = "0.6.0",
     deps = nothing,
     make = nothing
 )