From 529d1ee8c4a218dd7740e5c14bb41d25e8fe078f Mon Sep 17 00:00:00 2001 From: "Documenter.jl" Date: Tue, 17 Oct 2023 17:45:21 +0000 Subject: [PATCH] build based on 7db7bd0 --- 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 926b7a0..82a5dbe 100644 --- a/dev/.documenter-siteinfo.json +++ b/dev/.documenter-siteinfo.json @@ -1 +1 @@ -{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-10-14T07:19:42","documenter_version":"1.1.1"}} \ No newline at end of file +{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-10-17T17:45:17","documenter_version":"1.1.1"}} \ No newline at end of file diff --git a/dev/index.html b/dev/index.html index e807d57..e736486 100644 --- a/dev/index.html +++ b/dev/index.html @@ -1,2 +1,2 @@ -AlgebraicRewriting.jl · AlgebraicRewriting
GitHub
+AlgebraicRewriting.jl · AlgebraicRewriting
GitHub