Merge pull request #3382 from JuliaReach/auto-juliaformatter-pr

Automatic JuliaFormatter.jl run
JuliaReach · Oct 7, 2023 · ef5b051 · ef5b051
2 parents 05e63bc + 906b0ba
commit ef5b051
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -8,7 +8,7 @@ makedocs(; sitename="LazySets.jl",
          modules=[LazySets, Approximations, LazySets.Parallel],
          format=Documenter.HTML(; prettyurls=get(ENV, "CI", nothing) == "true",
                                 assets=["assets/aligned.css"],
-                                size_threshold = nothing),
+                                size_threshold=nothing),
          pages=["Home" => "index.md",
                 "Manual" => Any["Getting Started" => "man/getting_started.md",
                                 "Optional Features" => "man/optional_dependencies.md",