« Previous | Next » 

Revision e4ac2d18


Added by Kostas Papadimitriou over 9 years ago

Extend otherProperties with branding settings

otherProperties object defined in the index.html is used from within the GWT
app to access deployment specific configuration options. A new placeholder added
in index.html. The placeholder gets replaced with django template code which
populates otherProperties with all branding settings available during the
python package build.


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences