From 6abef37cfe72c1ddefdaf574d4d6d62d0dd8bd34 Mon Sep 17 00:00:00 2001
From: Michael Foiani <mfoiani@cs.brown.edu>
Date: Sat, 10 Feb 2024 23:06:18 -0500
Subject: remove docker container

---
 .devcontainer/Dockerfile | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 .devcontainer/Dockerfile

(limited to '.devcontainer/Dockerfile')

diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
deleted file mode 100644
index e691dc9..0000000
--- a/.devcontainer/Dockerfile
+++ /dev/null
@@ -1,4 +0,0 @@
-FROM --platform=linux/x86_64 mcr.microsoft.com/devcontainers/base:ubuntu-18.04
-LABEL authors="sotech117"
-
-RUN sudo apt-get update; sudo apt-get install python2.7 python-minimal cscope nasm make build-essential grub2-common qemu xorriso genisoimage xterm gdb -y
\ No newline at end of file
-- 
cgit v1.2.3-70-g09d2