geoserver/geoserver — pull request #141 by bosth (2013-02-05 19:32:57+00:00)
Title: REST API doc fixes

Some extra copy edits and documentation changes for the GeoServer REST API.