Remove Dockerfile
This turned up by mistake in an earlier unrelated patch
commitbdf5666708afc031fc588abff0ff49e02952ffe4
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 25 Mar 2016, 23:25 (11 years ago)
parentc9d2027
Dockerfiledeleted−6
@@ -1,6 +0,0 @@
1−FROM haskell:7
2−RUN cabal update
3−ADD . Idris-dev
4−WORKDIR Idris-dev
5−RUN make
6−WORKDIR ..