From df245f9d30e4822d500b519cf7a2eb066f4dfebc Mon Sep 17 00:00:00 2001 From: Patrick Lehmann Date: Sat, 4 Mar 2017 17:35:44 +0100 Subject: Fixed headlines (1). --- doc/getting/Docker.rst | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'doc/getting/Docker.rst') diff --git a/doc/getting/Docker.rst b/doc/getting/Docker.rst index 5759739b0..6ba61dbd8 100644 --- a/doc/getting/Docker.rst +++ b/doc/getting/Docker.rst @@ -1,35 +1,35 @@ .. _DOCKER: Docker containers -############# +################# * :ghdlsharp:`270` * :ghdlsharp:`272` * :ghdlsharp:`297` What is docker? A primer -================= +======================== Where are images hosted? -================= +======================== docker-hub ghdl-tools Dockerfiles Launch options -================= +============== With(out) shared folder ----------------- +----------------------- Interactive/daemon ----------------- +------------------ Shrinking ----------------- +--------- Additional tools, with(out) GUI ----------------- +------------------------------- GtkWave, PoC, VUnit, OSVVM, UVVM \ No newline at end of file -- cgit v1.2.3