From bdb80d336801877abc15f0e8633165c19fc8ba2e Mon Sep 17 00:00:00 2001
From: Pierre GIRAUD <pierre.giraud@dalibo.com>
Date: Mon, 27 Aug 2018 09:14:23 +0200
Subject: [PATCH] Fix port number in developing doc

---
 DEVELOPING.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/DEVELOPING.md b/DEVELOPING.md
index 8e785f8b3b..800ff0820d 100644
--- a/DEVELOPING.md
+++ b/DEVELOPING.md
@@ -30,7 +30,7 @@ To run the examples you first need to start the dev server:
 
     $ npm run serve-examples
 
-Then, load <http://localhost:5000/> in your browser.
+Then, load <http://localhost:8080/> in your browser.
 
 ## Running tests