geoext/geoext2 — pull request #222 by marcjansen (2013-12-19 13:44:47+00:00)
Title: Use different print-servlet in examples.

Fixes #221.