From 40162aea0b3f393b40524c9af6324b3c8f3addad Mon Sep 17 00:00:00 2001
From: gravel <qsj4di+aybgdjbxur7e8@sharklasers.com>
Date: Fri, 27 Jan 2023 15:13:06 +0100
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 09c6de4d..8f29aa89 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-port = 8080
+port = 8081
 output = output
 
 # First goal is the default with `make`.