GeoNode/geonode — pull request #795 by iwillig (2013-02-26 14:50:56+00:00)
Title: Fixes pavement 

Fixes pavement script to handle both the old paver API and the new paver API