From 6b25bc82f334eaab3f993561993be09b348d974b Mon Sep 17 00:00:00 2001
From: gravel <qsj4di+aybgdjbxur7e8@sharklasers.com>
Date: Fri, 27 Jan 2023 14:13:06 +0000
Subject: [PATCH] Change dev server HTTP port from 8080 to 8081

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 09c6de4..8f29aa8 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-port = 8080
+port = 8081
 output = output
 
 # First goal is the default with `make`.