Kasper Nilsson fb5b7119dd Add gr-repo-plugin-config ...

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

Bug: Issue 8535
Change-Id: Ib2962da67f5f89a86f3da652d48382f51ca1e81b

2019-04-24 10:26:19 +09:00

..

gr-repo-plugin-config-behavior.html

Add gr-repo-plugin-config

2019-04-24 10:26:19 +09:00