tree 3cba33819560c5ece3b611e46e0995c49cdd431b
parent c19be5f94b12643db3ea8c93b32aa55e4542ff62
author David Ostrovsky <david@ostrovsky.org> 1555621020 -0700
committer Luca Milanesio <luca.milanesio@gmail.com> 1556868156 +0000

Stop building the plugin-manager plugin on the master branch

The plugin-manager plugin is now a core plugin, so we don't need a
separate build.

Feature: Issue 10717
Change-Id: Idcf7e2bd072520bc7194d94b7271d2eb2fc6458c