From 91274a2ddb486ad7a3bce4a5e4acaa1b2520d44b Mon Sep 17 00:00:00 2001 From: "Documenter.jl" Date: Fri, 13 Oct 2023 20:53:29 +0000 Subject: [PATCH] build based on 056866a --- dev/.documenter-siteinfo.json | 2 +- dev/index.html | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json index 528a932..1dde99a 100644 --- a/dev/.documenter-siteinfo.json +++ b/dev/.documenter-siteinfo.json @@ -1 +1 @@ -{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-10-13T19:11:40","documenter_version":"1.1.1"}} \ No newline at end of file +{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-10-13T20:53:25","documenter_version":"1.1.1"}} \ No newline at end of file diff --git a/dev/index.html b/dev/index.html index 0f97140..238b19f 100644 --- a/dev/index.html +++ b/dev/index.html @@ -1,2 +1,2 @@ -Home · DisjunctiveProgramming.jl
GitHub
+Home · DisjunctiveProgramming.jl
GitHub