Skip to content

Master: more tools #1

Gildas Le Corguillé requested to merge preprod into master

This MR install a lot of tools.

There will be some sort of error message but the tools are eventually installed.

Edited by Gildas Le Corguillé

Merge request reports