From 45d2eda0387f5e227fa6b7eddb7978aa84bac3a2 Mon Sep 17 00:00:00 2001
From: Michael Murtaugh <mm@automatist.org>
Date: Thu, 18 Oct 2018 10:49:48 +0200
Subject: [PATCH] added local server script

---
 run_local_server.sh | 1 +
 1 file changed, 1 insertion(+)
 create mode 100755 run_local_server.sh

diff --git a/run_local_server.sh b/run_local_server.sh
new file mode 100755
index 0000000..846e510
--- /dev/null
+++ b/run_local_server.sh
@@ -0,0 +1 @@
+python3 -m http.server