History for docker-demo / .gitignore
2018-05-01
Minor changes to support lecture demo.
Mark George committed on 1 May 2018