rock-core/gui-vizkit — pull request #6 by doudou (2014-08-02 13:54:56+00:00)
Title: remove non-existing port_proxy_extension.rb file from Manifest

Sorry ... Failed to notice it in my original PR.