diff options
author | Gary Wu <gary.wu@futurewei.com> | 2019-07-08 11:08:14 -0700 |
---|---|---|
committer | Gary Wu <gary.wu@futurewei.com> | 2019-07-08 11:08:14 -0700 |
commit | 82c1ca5a6a9cdae3cf1a7cd12efb4dd9add3ec4c (patch) | |
tree | ac511b66dd471c093d83b53b7854a4bf73be33b5 /boot/robot/integration_robot_properties.py | |
parent | 911562cd789f85a4689c9b62e926311163118650 (diff) |
Version bump demo to 1.4.2-SNAPSHOTdublin
Issue-ID: INT-1055
Signed-off-by: Gary Wu <gary.wu@futurewei.com>
Change-Id: I818cbf5a8ba21391d238a477e83a6b70189fabd4
Diffstat (limited to 'boot/robot/integration_robot_properties.py')
0 files changed, 0 insertions, 0 deletions