diff options
author | Patrick Lehmann <Paebbels@gmail.com> | 2018-05-27 20:08:04 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-27 20:08:04 +0200 |
commit | 6a9d095dbe85e725639e6dc3080be9cdb94db4ef (patch) | |
tree | 65f0506d3f7fa856ddf92434956d450ca65ca421 /.github/ISSUE_TEMPLATE | |
parent | b350596efe2ff4da88b25de862d5ed4931386a46 (diff) | |
parent | feeb46d236b532eaf6e4b4f48925467a3573a207 (diff) | |
download | ghdl-6a9d095dbe85e725639e6dc3080be9cdb94db4ef.tar.gz ghdl-6a9d095dbe85e725639e6dc3080be9cdb94db4ef.tar.bz2 ghdl-6a9d095dbe85e725639e6dc3080be9cdb94db4ef.zip |
Merge pull request #585 from 1138-4EB/split-docker
move docker-related resources to ghdl/docker
Diffstat (limited to '.github/ISSUE_TEMPLATE')
0 files changed, 0 insertions, 0 deletions