From ef33a1d53cb6e56ae632e2f7f6f2a47a10f1f891 Mon Sep 17 00:00:00 2001 From: Jamie Portsmouth Date: Mon, 22 Jul 2024 21:55:25 +0100 Subject: [PATCH] Move .html files to docs folder - GitHub pages needs to be pointed to docs folder --- index.html => docs/index.html | 0 parametrization.md.html => docs/parametrization.md.html | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename index.html => docs/index.html (100%) rename parametrization.md.html => docs/parametrization.md.html (100%) diff --git a/index.html b/docs/index.html similarity index 100% rename from index.html rename to docs/index.html diff --git a/parametrization.md.html b/docs/parametrization.md.html similarity index 100% rename from parametrization.md.html rename to docs/parametrization.md.html