summaryrefslogtreecommitdiff
path: root/util/docker/Makefile
AgeCommit message (Expand)Author
2017-01-27util/docker: Update makefile target namesMartin Roth
2017-01-27util/docker: Update makefile with command to kill docker imagesMartin Roth
2016-12-12util/docker: Add a makefile for common docker tasksMartin Roth