remove opam repo add mirage-dev from .travis-ci.sh

mirage · Aug 10, 2015 · db2348b · db2348b
1 parent 7bd090f
commit db2348b
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.travis-ci.sh b/.travis-ci.sh
@@ -8,8 +8,6 @@ bash -ex .travis-opam.sh
 export OPAMYES=1
 eval `opam config env`
 
-opam repo add mirage-dev https://github.com/mirage/mirage-dev.git
-
 git clone git://github.com/mirage/mirage-www
 cd mirage-www