| commit | 80b17190408a4e6107c472e78789dcc04118cfcb | [log] [tgz] |
|---|---|---|
| author | David Ostrovsky <david@ostrovsky.org> | Thu Apr 18 13:57:00 2019 -0700 |
| committer | Luca Milanesio <luca.milanesio@gmail.com> | Fri May 03 07:22:36 2019 +0000 |
| tree | 3cba33819560c5ece3b611e46e0995c49cdd431b | |
| parent | c19be5f94b12643db3ea8c93b32aa55e4542ff62 [diff] |
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