Addition of a Dockerfile for tutorials and ease of trying out.#178

Merged

FrankD412 merged 6 commits into

infra/dockerfile

Mar 24, 2019

Commits on Mar 21, 2019

Addition of a Dockerfile for quick tutorials.
Francesco Di Natale
committed
Tweaks for Docker and addition of git.
Francesco Di Natale
committed

Commits on Mar 22, 2019

Tweak to Docker file for caching.
FrankD412
committed

Commits on Mar 23, 2019