diff options
| author |   Martin Kulhavy <martin.kulhavy@nokia.com> | 2017-08-22 14:07:07 +0300 |
|---|---|---|
| committer | Martin Kulhavy <martin.kulhavy@nokia.com> | 2017-08-22 14:07:07 +0300 |
| commit | e4212ab9dc23be9d0aa9f2593e20c78aa0e9c2c2 (patch) | |
| tree | b04f4bccb0b5190ab8c89eedae0ea42aa0a8c124 /docs | |
| 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 'docs')
0 files changed, 0 insertions, 0 deletions