diff options
| author | John Snow | 2019-09-23 20:11:37 +0200 |
|---|---|---|
| committer | Alex Bennée | 2019-09-26 20:00:53 +0200 |
| commit | ef8f3283ac9163c7102457c879a46506656b8a59 (patch) | |
| tree | 934c952d2dd88b02a2334b866e36b5c5e51d98e4 /include/exec/exec-all.h | |
| parent | docker: remove unused debian8 partial image (diff) | |
| download | qemu-ef8f3283ac9163c7102457c879a46506656b8a59.tar.gz qemu-ef8f3283ac9163c7102457c879a46506656b8a59.tar.xz qemu-ef8f3283ac9163c7102457c879a46506656b8a59.zip | |
docker: remove 'deprecated' image definitions
There isn't a debian.dockerfile anymore,
so perform some ghost-busting.
Signed-off-by: John Snow <jsnow@redhat.com>
Message-Id: <20190923181140.7235-4-jsnow@redhat.com>
Signed-off-by: Alex Bennée <alex.bennee@linaro.org>
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Acked-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Diffstat (limited to 'include/exec/exec-all.h')
0 files changed, 0 insertions, 0 deletions