From a445be45038fd11f20de37c90a39873b2c424100 Mon Sep 17 00:00:00 2001 From: Andrew David Wong Date: Sat, 29 Aug 2020 17:17:04 -0500 Subject: [PATCH] Change intro page file extension to .html --- introduction/{intro.md => intro.html} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename introduction/{intro.md => intro.html} (100%) diff --git a/introduction/intro.md b/introduction/intro.html similarity index 100% rename from introduction/intro.md rename to introduction/intro.html