diff options
Diffstat (limited to 'dist/linux/docker/build-fedora26+mcode')
| -rw-r--r-- | dist/linux/docker/build-fedora26+mcode | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/dist/linux/docker/build-fedora26+mcode b/dist/linux/docker/build-fedora26+mcode deleted file mode 100644 index fb0aaee9d..000000000 --- a/dist/linux/docker/build-fedora26+mcode +++ /dev/null @@ -1,5 +0,0 @@ -# Fedora 26 -FROM fedora:26 - -RUN dnf --nodocs -y install gcc-gnat zlib-devel make \ - && dnf clean all |