Skip to content

Commit

Permalink
remove docker container
Browse files Browse the repository at this point in the history
resolves #1969
  • Loading branch information
dysinger committed Mar 31, 2016
1 parent 1c89cb5 commit a852973
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 20 deletions.
15 changes: 0 additions & 15 deletions etc/docker/ubuntu-with-libgmp/Dockerfile

This file was deleted.

5 changes: 0 additions & 5 deletions stack.yaml
Original file line number Diff line number Diff line change
@@ -1,9 +1,4 @@
resolver: lts-5.3
image:
containers:
- base: "fpco/ubuntu-with-libgmp:14.04"
entrypoints:
- stack
nix:
# --nix on the command-line to enable.
enable: false
Expand Down

0 comments on commit a852973

Please sign in to comment.