Merge branch 'master' of https://github.com/dourouc05/ConstraintProgrammingExtensions.jl

dourouc05 · dourouc05 · commit 44894fecaca7 · 2021-09-17T01:08:30.000+02:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -35,8 +35,5 @@ makedocs(
 
 deploydocs(
     push_preview = true,
-    # forcepush = true,
-    versions = "v#.#",
     repo = "github.com/dourouc05/ConstraintProgrammingExtensions.jl.git",
-    devbranch = "master",
 )

Original file line number	Diff line number	Diff line change
`@@ -35,8 +35,5 @@ makedocs(`
`35`	`35`
`36`	`36`	`deploydocs(`
`37`	`37`	`push_preview = true,`
`38`		`- # forcepush = true,`
`39`		`- versions = "v#.#",`
`40`	`38`	`repo = "github.com/dourouc05/ConstraintProgrammingExtensions.jl.git",`
`41`		`- devbranch = "master",`
`42`	`39`	`)`