diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2017-12-09 17:34:58 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2017-12-10 12:02:05 +0100 |
| commit | 8e06c39ed8311aeb36696d9f964550407e1c556e (patch) | |
| tree | 5c511441a8c0b2a9bb2f5732dd4284ed725ad24a /doc/getting/Docker.rst | |
| parent | 08eb2bfc7144e7698cf570478d6a4e3e81aaf31a (diff) | |
| download | ghdl-8e06c39ed8311aeb36696d9f964550407e1c556e.tar.gz ghdl-8e06c39ed8311aeb36696d9f964550407e1c556e.tar.bz2 ghdl-8e06c39ed8311aeb36696d9f964550407e1c556e.zip | |
clean todos
Diffstat (limited to 'doc/getting/Docker.rst')
| -rw-r--r-- | doc/getting/Docker.rst | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/doc/getting/Docker.rst b/doc/getting/Docker.rst deleted file mode 100644 index 6ba61dbd8..000000000 --- a/doc/getting/Docker.rst +++ /dev/null @@ -1,35 +0,0 @@ -.. _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 |