From 13bde404795c5438fb3bbba9d4e9fe272a998a74 Mon Sep 17 00:00:00 2001 From: 1138-4EB <1138-4EB@users.noreply.github.com> Date: Wed, 1 Mar 2017 08:15:17 +0100 Subject: Add reference issues for docker --- doc/getting/Docker.rst | 4 ++++ 1 file changed, 4 insertions(+) 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 ================= -- cgit v1.2.3