From 6893e2d99143458c8fa5ed4124c2552847440278 Mon Sep 17 00:00:00 2001 From: Sameer Rahmani Date: Sun, 18 Feb 2024 16:13:24 +0000 Subject: [PATCH] Remove the redundant Dockerfile --- Dockerfile | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 Dockerfile diff --git a/Dockerfile b/Dockerfile deleted file mode 100644 index 114bffc..0000000 --- a/Dockerfile +++ /dev/null @@ -1,7 +0,0 @@ -FROM debian:11-slim - -RUN apt update && apt install -y emacs build-essential sudo git - -COPY . /root/.fg42 -WORKDIR /root/.fg42 -RUN make install \ No newline at end of file