From 6c07d198909a5d4edb5b4f3fe8c9845c16b02af0 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Tue, 10 May 2022 13:34:31 +0000 Subject: [PATCH] Deployed 0af45df to master with MkDocs 1.2.4 and mike 1.0.1 --- master/CHANGELOG/index.html | 3 +++ master/aeso_compiler/index.html | 7 ------- master/search/search_index.json | 2 +- master/sitemap.xml | 18 +++++++++--------- master/sitemap.xml.gz | Bin 202 -> 203 bytes master/sophia_features/index.html | 17 +++++------------ master/sophia_stdlib/index.html | 2 +- 7 files changed, 19 insertions(+), 30 deletions(-) diff --git a/master/CHANGELOG/index.html b/master/CHANGELOG/index.html index 5456913..d83a262 100644 --- a/master/CHANGELOG/index.html +++ b/master/CHANGELOG/index.html @@ -1314,6 +1314,9 @@ and this project adheres to Semant
  • Error messages have been restructured (less newlines) to provide more unified errors. Also pp_oneline/1 has been added.
  • Removed

    +

    6.1.0 - 2021-10-20

    Added