Skip to content
Commit b1903520 authored by Sebastien Pennec's avatar Sebastien Pennec
Browse files

changing again port number, this time to 8090, since 8089 is taken on my... 

changing again port number, this time to 8090, since 8089 is taken on my windows machine, althought all servers are down...
parent e292eeff
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment