From e223b7aaef3ba702336e5f4c597f52ae2bdf8465 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Sun, 24 Feb 2019 15:27:59 +0100 Subject: [PATCH] travis: remove extra remote --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 8f42b84..e08b51f 100644 --- 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