Changeset 8432 for perso

Timestamp:
2024-02-19T11:50:35+01:00 (3 months ago)
Author:
josefine.ghattas
Message:

Add possiblity to have a ref different from the default. To be set in the host file or in MYLAUNCH.

(No files)

Note: See TracChangeset for help on using the changeset viewer.