Updating website

pacti-org · Dec 21, 2023 · ecfd6ce · ecfd6ce
1 parent 7fc59c0
commit ecfd6ce
Show file tree

Hide file tree

Showing 56 changed files with 15,814 additions and 12,109 deletions.
diff --git a/404.html b/404.html
@@ -13,7 +13,7 @@
 
 
       <link rel="icon" href="/pacti_small_icon.svg">
-      <meta name="generator" content="mkdocs-1.4.3, mkdocs-material-9.1.19">
+      <meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.1.21">
 
 
 

diff --git a/Polyhedral/index.html b/Polyhedral/index.html
Original file line number	Diff line number	Diff line change
Expand Up		@@ -13,7 +13,7 @@


		<link rel="icon" href="/pacti_small_icon.svg">
		<meta name="generator" content="mkdocs-1.4.3, mkdocs-material-9.1.19">
		<meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.1.21">



Expand Down