diff options
| author | Gaspar Karm <gaspar.karm@eesti.ee> | 2019-05-20 21:25:23 +0300 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2019-05-22 06:32:31 +0200 |
| commit | 2add8ce0c2152866ee5d2ff19dda65c2e3127d2c (patch) | |
| tree | 8d25af434ae2492a6e8514c0510b2bf64042d966 /src | |
| parent | 7e084bc2812f701d766907d18e74753b5e44ef7d (diff) | |
| download | ghdl-2add8ce0c2152866ee5d2ff19dda65c2e3127d2c.tar.gz ghdl-2add8ce0c2152866ee5d2ff19dda65c2e3127d2c.tar.bz2 ghdl-2add8ce0c2152866ee5d2ff19dda65c2e3127d2c.zip | |
doc: Add indications that ghdl/docker exsists to README.md
Discussion in #166
* Docker badge
* Two links to ghdl/docker, with minor rewording - feel free to reword again :)
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions