mh-ubuntu1910: previous Dockerfile didn't work. Supported version was added

diff --git a/misc/docker/ubuntu-19.04-amd64/Dockerfile b/misc/docker/ubuntu-19.04-amd64/Dockerfile
deleted file mode 100644 (file)
index bb2f72c..0000000
--- a/misc/docker/ubuntu-19.04-amd64/Dockerfile
+++ /dev/null
@@ -1,12 +0,0 @@
-FROM ubuntu:19.04
-ENV DEBIAN_FRONTEND noninteractive
-RUN sed -i 's/deb.debian.org/ftp.cz.debian.org/' /etc/apt/sources.list
-RUN apt-get -y update
-RUN apt-get -y upgrade
-RUN apt-get -y install \
-       autoconf \
-       build-essential \
-       flex \
-       bison \
-       ncurses-dev \
-       libreadline-dev