GeoNode/geonode — pull request #581 by mweisman (2013-01-08 19:50:39+00:00)
Title: Roll geoserver-ext build scripts into geonode repo

This moves the geoserver-ext packaging scripts into the main geonode repo.