tree 5618a8295ecfc818f902969f76900a45178050ee
parent ef1563556bbdc50ac81d8e8bee9679bee1bd4ac4
author Kasper Nilsson <kaspern@google.com> 1542311177 -0800
committer David Pursehouse <dpursehouse@collab.net> 1556069179 +0900

Add gr-repo-plugin-config

Element is used to edit the plugin-specific config of a repository.

Bug: Issue 8535
Change-Id: Ib2962da67f5f89a86f3da652d48382f51ca1e81b