Added some initial shell scripts and docker file.
Showing
tools/docker/Dockerfile
0 → 100644
tools/run_tests/jenkins.sh
0 → 100755
travis.sh
→
tools/run_tests/tests.sh
100755 → 100644
tools/run_tests/travis.sh
0 → 100755
Please
register
or
sign in
to comment