diff options
author | Emmanuele Bassi <ebassi@gnome.org> | 2019-04-29 16:55:57 +0100 |
---|---|---|
committer | Emmanuele Bassi <ebassi@gnome.org> | 2019-04-30 15:37:31 +0100 |
commit | d42a551e3e77995fdda4c21f574a44e8a051b306 (patch) | |
tree | 377f378ad9e24d3415dfccb4f03f4bf91a326dfa | |
parent | 2515015a67f0131389ed62549f6c101cbeaacb1f (diff) | |
download | glib-d42a551e3e77995fdda4c21f574a44e8a051b306.tar.gz |
ci: Rename the Fedora Dockerfile
We're going to add more, so let's avoid collisions.
-rw-r--r-- | .gitlab-ci/fedora.Dockerfile (renamed from .gitlab-ci/Dockerfile) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/.gitlab-ci/Dockerfile b/.gitlab-ci/fedora.Dockerfile index 69d8c8af2..69d8c8af2 100644 --- a/.gitlab-ci/Dockerfile +++ b/.gitlab-ci/fedora.Dockerfile |