diff options
| author |   hkojima <hiroshi_kojima@mentor.com> | 2017-10-31 22:14:52 +0900 |
|---|---|---|
| committer | hkojima <hiroshi_kojima@mentor.com> | 2017-10-31 22:14:52 +0900 |
| commit | eadac17856220d243411fd2efc1824ec905601d3 (patch) | |
| tree | c11b44b54c8f8828ff1126033745c37d4bc40e7e /content/tocs/devguides | |
| parent | fc837ed64a113ccaf41bb7a28896209b6510c09a (diff) | |
Change "url_fetch" from github to gerrit
Since I got review comment, I changed the source url from github to gerrit. And also changed "git_name" and "src_prefix".
Signed-off-by: hkojima <hiroshi_kojima@mentor.com>
Diffstat (limited to 'content/tocs/devguides')
0 files changed, 0 insertions, 0 deletions