Resolve "Do we still need to install git ?" (!159) · Merge requests · ESCAPE2020 / WP3 / eossr · GitLab

This is an archived project. Repository and other project resources are read-only.

Vuillaume requested to merge 79-do-we-still-need-to-install-git into master Mar 03, 2022

Closes #79 (closed)

Edited Mar 03, 2022 by Vuillaume