Skip to content

Commit 244d7d5

Browse files
authored
Update devel-git-deps.yaml
Remove private dependency of Pinocchio
1 parent 04fe53a commit 244d7d5

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

devel-git-deps.yaml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -21,8 +21,8 @@ repositories:
2121
version: master
2222
pinocchio:
2323
type: git
24-
url: git@gitlab.inria.fr:jucarpen/pinocchio.git
25-
version: topic/simulation
24+
url: git@github.com:stack-of-tasks/pinocchio.git
25+
version: devel
2626
proxsuite-nlp:
2727
type: git
2828
url: [email protected]:simple-robotics/proxsuite-nlp.git

0 commit comments

Comments
 (0)