The latest version of GeoExt that is available for download at http://geoext.org/downloads.html (version 1.1) appears to be a development version. They are individual files with whitespace and comments.
Usualy there is a minified, compress version of javascript libraries available, to be used in production environment.
Nowhere could I find such a version for GeoExt 1.1. Is there a deployment build available?


