diff --git a/.github/.gitpod.Dockerfile b/.github/.gitpod.Dockerfile deleted file mode 100644 index 501f64c..0000000 --- a/.github/.gitpod.Dockerfile +++ /dev/null @@ -1,12 +0,0 @@ -FROM gitpod/workspace-full - -USER gitpod - -# Install custom tools, runtime, etc. using apt-get -# For example, the command below would install "bastet" - a command line tetris clone: -# -RUN sudo apt-get -q update && \ - sudo apt-get install -yq libboost-all-dev -# sudo rm -rf /var/lib/apt/lists/* -# -# More information: https://www.gitpod.io/docs/config-docker/