Ask Your Question
0

Download croco_tools

asked 2019-05-06 16:59:27 +0200

this post is marked as community wiki

This post is a wiki. Anyone with karma >5 is welcome to improve it.

Hello, The link to clone croco tools don't exist or I don't have permission, Do you what happen?

https://gitlab.inria.fr/croco-ocean/c...

BR

edit retag flag offensive close merge delete

1 answer

Sort by ยป oldest newest most voted
0

answered 2019-05-22 22:07:07 +0200

andres gravatar image

How are you trying to download the croco_tools? Are you using git?

edit flag offensive delete link more

Comments

Thank you, Andres, the problem is solved

mzapatahe gravatar imagemzapatahe ( 2019-07-18 22:37:10 +0200 )edit
Login/Signup to Answer

Question Tools

1 follower

Stats

Asked: 2019-05-06 16:59:27 +0200

Seen: 55,393 times

Last updated: May 22 '19