Move tools.sh to ci/common dir 63/39863/1
[joid.git] / ci / common /
drwxr-xr-x   ..
drwxr-xr-x - source
-rw-r--r-- 1776 tools.sh