From 906b0ba5c2c9062e3d52883b0d95dd705960509b Mon Sep 17 00:00:00 2001 From: schillic Date: Sat, 7 Oct 2023 00:34:14 +0000 Subject: [PATCH] Format .jl files --- docs/make.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/make.jl b/docs/make.jl index 83d3f26a3f..f49c494c47 100644 --- 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",