From af443d91bab473bf3ade1939f8eac40bb335e886 Mon Sep 17 00:00:00 2001 From: Steffen Planthaber Date: Mon, 22 Mar 2021 09:40:24 +0100 Subject: [PATCH] delete branch setting in override of planning/ompl https://github.com/rock-core/autoproj/issues/321 --- source.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/source.yml b/source.yml index e27f68d..105fffb 100644 --- a/source.yml +++ b/source.yml @@ -343,6 +343,7 @@ version_control: url: https://github.com/sbpl/sbpl.git - planning/ompl: + branch: ~ type: git url: https://github.com/ompl/ompl.git tag: 1.2.1