Until October 23th 2017, the sources of CROCO_TOOLS have been hosted on a dedicated server using gforge software https://gforge.inria.fr/projects/croco_tools.
It has now migrated on this server https://gitlab.inria.fr hosted by INRIA to benefit from enhanced functionalities. Thus by extracting the code from gitlab you will recover an exact copy of the code hosted previously on gforge. If you previously extracted CROCO from gforge and want to follow the updates of the code, you'll have to migrate your local repository, see below
Please follow the following instruction for extraction or migration of an existing clone.
To extract in read only mode (simple user), use http protocol, you won't be able to proceed to a _push_