Revision 0bd5e98798c742f4c132c3701c061b34ed5a3e2a

Committed on 30/10/2015 4:49 am by Damien Pobel <[email protected]> [GitHub Diff]

Added the handling of the PlatformUI configuration