Change dev server HTTP port from 8080 to 8081

1 year ago · 6b25bc82f3
parent f19e19df90
commit 6b25bc82f3
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -1,4 +1,4 @@
-port = 8080
+port = 8081
 output = output

 # First goal is the default with `make`.