tree 34ad4299e7c54187d90a2bde0b545d5bb9d981be
parent 0798bcbf7514c22d41580d689584a49d5526734a
author Jakub Josef <jakub.josef@gmail.com> 1489668999 +0100
committer Jakub Josef <jakub.josef@gmail.com> 1489669377 +0100

Added theme and global library enforcements

Change-Id: I55273c9e17b2ef734dfbb5d335762a23525098e5