GeoNode/geonode — pull request #553 by simod (2012-12-05 15:25:18+00:00)
Title: Documents

Make use of the search engine also for documents + other small fixes