remove docker container

resolves #1969
commercialhaskell · Mar 31, 2016 · eeabe17 · eeabe17
1 parent 1c89cb5
commit eeabe17
Showing 1 changed file with 0 additions and 15 deletions.
diff --git a/etc/docker/ubuntu-with-libgmp/Dockerfile b/etc/docker/ubuntu-with-libgmp/Dockerfile