diff options
| author | Gaspar Karm <gaspar.karm@eesti.ee> | 2019-05-20 21:39:45 +0300 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2019-05-22 06:32:31 +0200 |
| commit | 0611b41484571bb92e8a87b39fdfa4d45fe65d83 (patch) | |
| tree | b57d90fc39be3edf5f5d48548c293fede7d68908 /README.md | |
| parent | 2add8ce0c2152866ee5d2ff19dda65c2e3127d2c (diff) | |
| download | ghdl-0611b41484571bb92e8a87b39fdfa4d45fe65d83.tar.gz ghdl-0611b41484571bb92e8a87b39fdfa4d45fe65d83.tar.bz2 ghdl-0611b41484571bb92e8a87b39fdfa4d45fe65d83.zip | |
doc: Link docker badge to ghdl/docker
Also set the square style.
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -[](http://ghdl.readthedocs.io) [](https://gitter.im/ghdl1/Lobby?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge) [](https://travis-ci.org/ghdl/ghdl/branches)   [](https://github.com/ghdl/ghdl/releases) +[](http://ghdl.readthedocs.io) [](https://gitter.im/ghdl1/Lobby?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge) [](https://travis-ci.org/ghdl/ghdl/branches)  [](https://github.com/ghdl/docker) [](https://github.com/ghdl/ghdl/releases) **A new GitHub organization was created (2017-12-20) and the main repo was moved from [github.com/tgingold/ghdl](https://github.com/tgingold/ghdl) to [github.com/ghdl/ghdl](https://github.com/ghdl/ghdl). Old refs will continue working, because permanent redirects are set up. However, we suggest every contributor to update the remote URLs in their local clones. See [Changing a remote's URL](https://help.github.com/articles/changing-a-remote-s-url/).** |