git.iko.soy/Idris-dev
on master help sign in
Remove Dockerfile
bdf5666Edwin Brady
Dockerfiledeleted−6
compare with master
unifiedsplit
@@ -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 ..