aboutsummaryrefslogtreecommitdiffstats
path: root/dist/linux/docker/run
Commit message (Expand)AuthorAgeFilesLines
* move docker-related resources to ghdl/docker1138-4EB2018-05-276-80/+0
* use travis stages, use docker multistage builds1138-4EB2017-12-166-0/+80