travis: remove extra remote

mirage · Feb 24, 2019 · e223b7a · e223b7a
1 parent 2b72b61
commit e223b7a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -6,7 +6,7 @@ env:
   global:
     - TESTS=true
     - PACKAGE="ethernet"
-    - EXTRA_REMOTES="https://github.com/mirage/mirage-dev.git#layering"
+    - EXTRA_REMOTES="https://github.com/mirage/mirage-dev.git"
   matrix:
     - OCAML_VERSION=4.04
     - OCAML_VERSION=4.05