Correct image name.

parent 95bd3771
......@@ -9,7 +9,7 @@ The current images are:
| image | parent | description |
|--------------------------|-----------------|------------------------------------------------------------|
| duneci/base:8 | debian:8 | Debian 8 with gcc 4.9.2, clang 3.5, cmake 3.0.2 |
| duneci/base:8 | base:8 | Debian 8 with gcc 4.9.2, clang 3.8 (backport), cmake 3.0.2 |
| duneci/base:8-backports | duneci/base:8 | Debian 8 with gcc 4.9.2, clang 3.8 (backport), cmake 3.0.2 |
| duneci/base:9 | debian:9 | Debian 9 with gcc 6.1.1, clang 3.8, cmake 3.6.2 |
| duneci/base:16.04 | ubuntu:16.04 | Ubuntu LTS 16.04 with gcc 5.4.0, clang 3.8.0, cmake 3.5.1 |
| duneci/dune:2.3 | duneci/base:8 | DUNE 2.3 core modules from Debian |
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment