diff options
author | 2017-08-22 14:07:07 +0300 | |
---|---|---|
committer | 2017-08-22 14:07:07 +0300 | |
commit | e4212ab9dc23be9d0aa9f2593e20c78aa0e9c2c2 (patch) | |
tree | b04f4bccb0b5190ab8c89eedae0ea42aa0a8c124 /ci/common/source | |
parent | 026ed9cccd75b70fd09e048e9cc7d0af60365328 (diff) |
Move tools.sh to ci/common dir
This file is only sourced by other script and is not meant to be
executed (contains only functions).
Change-Id: I41253b73f720e4b7e987c5164901253c7e51ee8b
Signed-off-by: Martin Kulhavy <martin.kulhavy@nokia.com>
Diffstat (limited to 'ci/common/source')
0 files changed, 0 insertions, 0 deletions