From 14cb86d14798f33ac46ea96328c8202c7432181b Mon Sep 17 00:00:00 2001 From: steve-chavez Date: Wed, 2 Jan 2019 13:29:20 -0500 Subject: [PATCH] Fix #182, change default port of tutorials to 5433 --- tutorials/tut0.rst | 16 +++------------- 1 file changed, 3 insertions(+), 13 deletions(-) diff --git a/tutorials/tut0.rst b/tutorials/tut0.rst index c42a396fd..e061b4761 100644 --- a/tutorials/tut0.rst +++ b/tutorials/tut0.rst @@ -29,21 +29,11 @@ If Docker is not installed, you can get it `here