Merge pull request #3 from JuliaAI/dev

Dummy commit
JuliaAI · Sep 12, 2022 · 51aeaea · 51aeaea
2 parents b77a718 + 865a203
commit 51aeaea
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -24,3 +24,4 @@ deploydocs(
     devbranch="dev",
     push_preview=true,
 )
+