diff options
author | 2017-03-03 23:01:02 +0800 | |
---|---|---|
committer | 2017-03-03 23:01:22 +0800 | |
commit | 85df5358084c96b38d117870d922ae6199afcc61 (patch) | |
tree | 9fb57c306f8851b52e7edb99f7354557999e5b16 /legacy/utils/report/get_results.py | |
parent | 473deae9a10162f000c49ca49b4e31b28c4bf0d8 (diff) |
Switch License tool to develop branch
The default branch in the remote repository has been changed to develop.
-----------auto-generated by git-subrepo-------------
git subrepo pull --branch=develop third-party/License
subrepo:
subdir: "third-party/License"
merged: "88b1440"
upstream:
origin: "git@github.com:openzero-zte/License.git"
branch: "develop"
commit: "88b1440"
git-subrepo:
version: "0.3.0"
origin: "https://github.com/ingydotnet/git-subrepo"
commit: "988f8c8"
-------------------------------------------------------
Change-Id: I6efbee7217e1f04febeaf5b5079ee3e7eda797cd
Signed-off-by: Yujun Zhang <zhang.yujunz@zte.com.cn>
Diffstat (limited to 'legacy/utils/report/get_results.py')
0 files changed, 0 insertions, 0 deletions