Changing devbranch to master

ProjectTorreyPines · Aug 2, 2024 · 92f1116 · 92f1116
1 parent 911e81f
commit 92f1116
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -18,6 +18,6 @@ deploydocs(;
     repo="github.com/ProjectTorreyPines/GGDUtils.jl.git",
     target="build",
     branch="gh-pages",
-    devbranch="dev",
+    devbranch="master",
     versions=["stable" => "v^", "v#.#"],
 )