GeoNode/geonode — pull request #1337 by mbertrand (2014-01-17 03:49:44+00:00)
Title: User tutorial - add section on adding external servers

For https://github.com/GeoNode/geonode/issues/1146