JeroenDeDauw/ExtensionManager — pull request #2 by JeroenDeDauw (2013-12-07 16:55:31+00:00)
Title: Add Extension Manager functionality

WIP