geoext/geoext2 — pull request #200 by marcjansen (2013-10-21 15:10:34+00:00)
Title: Smaller enhancements to the docs.

As this touches so much files, I'd appreciate a short review.