From fad52a0e94edad626150c706ff6013a93d6e77ec Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?M=C3=A9sz=C3=A1ros=20Mih=C3=A1ly?= <misi@majd.eu>
Date: Tue, 13 Oct 2020 10:13:25 +0200
Subject: [PATCH] Delete Dockerfile.build

It was outdated
---
 Dockerfile.build | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 Dockerfile.build

diff --git a/Dockerfile.build b/Dockerfile.build
deleted file mode 100644
index 684805b..0000000
--- a/Dockerfile.build
+++ /dev/null
@@ -1,10 +0,0 @@
-FROM ubuntu:16.04
-
-RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -y \
-    emacs-nox \
-    build-essential \
-    libssl-dev sqlite3 \
-    libsqlite3-dev \
-    libevent-dev \
-    g++ \
-    libboost-dev