From 087b732df3ce69055bdb82d70fc746087669f086 Mon Sep 17 00:00:00 2001 From: Deploy from CI <> Date: Tue, 20 Feb 2024 09:03:15 +0000 Subject: [PATCH] Deploy 7b651439f54ed56629f0fe579c2b57f2b56e49d7 to gh-pages --- dev/404.html | 2 +- dev/appendices.html | 234 ++++++++++++++++++++++++++++++ dev/coding-conventions.html | 279 ++++++++++++++++++++++++++++++++++++ dev/index.html | 8 +- dev/introduction.html | 8 +- dev/print.html | 55 ++++++- dev/searchindex.js | 2 +- dev/searchindex.json | 2 +- 8 files changed, 584 insertions(+), 6 deletions(-) create mode 100644 dev/appendices.html create mode 100644 dev/coding-conventions.html diff --git a/dev/404.html b/dev/404.html index c42c798ce..7dc079bc6 100644 --- a/dev/404.html +++ b/dev/404.html @@ -89,7 +89,7 @@ diff --git a/dev/introduction.html b/dev/introduction.html index 21f498954..55a66933e 100644 --- a/dev/introduction.html +++ b/dev/introduction.html @@ -88,7 +88,7 @@ @@ -197,6 +200,9 @@

Introduction + diff --git a/dev/print.html b/dev/print.html index 149b47157..4d300af81 100644 --- a/dev/print.html +++ b/dev/print.html @@ -89,7 +89,7 @@