Changeset 6708 for trunk

Timestamp:
2020-04-06T13:44:42+02:00 (5 years ago)
Author:
josefine.ghattas
Message:

Changed to source init/bash which is more coherent with bash script. But this does not change the behaviour of the compilation.x

(No files)

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