Skip to content

Commit

Permalink
Testing repository removed
Browse files Browse the repository at this point in the history
  • Loading branch information
@clarus
clarus committed Dec 8, 2014
1 parent 5ff46a5 commit 73506c1
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion Dockerfile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -43,7 +43,6 @@ RUN apt-get install -y inotify-tools
# Coq repositories
RUN echo 4
RUN opam repo add coq-stable https://github.com/coq/repo-stable.git
RUN opam repo add coq-testing https://github.com/coq/repo-testing.git
RUN opam repo add coq-unstable https://github.com/coq/repo-unstable.git

# Dependencies
Expand Down

0 comments on commit 73506c1

Please sign in to comment.