1 # =============================================================================
2 # This file defines default property values that apply to the "production" build
5 # Please use production.properties to customize these properties unless you want
6 # your customizations to be for all environments. In that case, you can instead
7 # override these properties in build.properties.
9 # The properties defined in this file take priority over defaults.properties
10 # but are lower priority than build.properties which in turn is lower priority
11 # than production.properties.
13 # IMPORTANT - This file should not be modified by an app as it is overwritten
14 # during each app upgrade.
15 # =============================================================================
17 build.options.logger=no
19 build.options.debug=false
23 enable.cache.manifest=true
25 enable.resource.compression=true
27 build.enable.embedded.manifest=false
29 app.microloader.name=production.js
31 build.embedded.microloader.compressor=-closure