diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2017-03-01 08:15:17 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2017-12-10 12:02:05 +0100 |
| commit | 13bde404795c5438fb3bbba9d4e9fe272a998a74 (patch) | |
| tree | 0823b2f6083351c244dcfe9e5fb29cdf51aa0398 | |
| parent | 48cb17bc2a6fd8ee130e549f3b8d13bf20dedcef (diff) | |
| download | ghdl-13bde404795c5438fb3bbba9d4e9fe272a998a74.tar.gz ghdl-13bde404795c5438fb3bbba9d4e9fe272a998a74.tar.bz2 ghdl-13bde404795c5438fb3bbba9d4e9fe272a998a74.zip | |
Add reference issues for docker
| -rw-r--r-- | doc/getting/Docker.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/getting/Docker.rst b/doc/getting/Docker.rst index 35a1c11b6..5759739b0 100644 --- a/doc/getting/Docker.rst +++ b/doc/getting/Docker.rst @@ -3,6 +3,10 @@ Docker containers ############# +* :ghdlsharp:`270` +* :ghdlsharp:`272` +* :ghdlsharp:`297` + What is docker? A primer ================= |