Michael Schurter c6371dcbe2 tf: update services and add tools ...

Also use the latest method for installing Docker via:
https://docs.docker.com/install/linux/docker-ce/debian/

2018-04-04 15:05:49 -07:00

..

config

Enable raw_exec and Docker privileged mode

2018-03-20 17:48:14 +00:00

scripts

tf: update services and add tools

2018-04-04 15:05:49 -07:00