From 65917717e74e13f715cc44562e78adf38f6d321f Mon Sep 17 00:00:00 2001 From: kanitz <alexander.kanitz@unibas.ch> Date: Mon, 6 Aug 2018 17:27:33 +0200 Subject: [PATCH] Set .gitmodules to branch 'dev' --- .gitmodules | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/.gitmodules b/.gitmodules index 6c62a99..915f275 100644 --- a/.gitmodules +++ b/.gitmodules @@ -2,24 +2,24 @@ path = krini-ng url = ../krini-ng.git ignore = all - branch = . + branch = dev [submodule "krini-dr"] path = krini-dr url = ../krini-dr.git ignore = all - branch = . + branch = dev [submodule "krini-cwl"] path = krini-cwl url = ../krini-cwl.git ignore = all - branch = . + branch = dev [submodule "krini-serv"] path = krini-serv url = ../krini-serv.git ignore = all - branch = . + branch = dev [submodule "krini-db"] path = krini-db url = ../krini-db.git ignore = all - branch = . + branch = dev -- GitLab