From ae4b292255515d71645a7ad41be3c6e1db98a228 Mon Sep 17 00:00:00 2001 From: Kevin Glier Date: Sat, 5 Feb 2022 16:21:03 +0100 Subject: [PATCH] Rename example file to work with github pages --- docs/{example.html => index.html} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename docs/{example.html => index.html} (100%) diff --git a/docs/example.html b/docs/index.html similarity index 100% rename from docs/example.html rename to docs/index.html