steve-chavez 14cb86d147 Fix #182, change default port of tutorials to 5433

2019-01-06 20:58:07 -05:00

..

tut0.rst

Fix #182, change default port of tutorials to 5433

2019-01-06 20:58:07 -05:00

tut1.rst

Fix #145, add authenticator role to tutorials

2019-01-06 20:58:07 -05:00