From 4c5db4fa88847b1f355d77ec70d26cb94d4a872f Mon Sep 17 00:00:00 2001
From: DrMint <thomas.barillot@etu.u-bordeaux.fr>
Date: Thu, 23 Dec 2021 23:21:04 +0100
Subject: [PATCH] changed the default port

---
 run_dev.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 mode change 100644 => 100755 run_dev.sh

diff --git a/run_dev.sh b/run_dev.sh
old mode 100644
new mode 100755
index 14e7735..67f17cb
--- a/run_dev.sh
+++ b/run_dev.sh
@@ -1 +1 @@
-npx next dev -p 3000
+npx next dev -p 12500