From 7dfc5766c97fbf769d7da84116a92746079c7295 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Tue, 12 Apr 2022 09:40:57 +0000 Subject: [PATCH] Deployed 74aff54 to master with MkDocs 1.2.4 and mike 1.0.1 --- master/CHANGELOG/index.html | 3 +++ master/search/search_index.json | 2 +- master/sitemap.xml | 18 +++++++++--------- master/sitemap.xml.gz | Bin 202 -> 202 bytes master/sophia_syntax/index.html | 9 +++++++++ 5 files changed, 22 insertions(+), 10 deletions(-) diff --git a/master/CHANGELOG/index.html b/master/CHANGELOG/index.html index bb4cc51..5fc4af9 100644 --- a/master/CHANGELOG/index.html +++ b/master/CHANGELOG/index.html @@ -1306,6 +1306,9 @@ and this project adheres to Semant

Added

Changed