mulle-env init should also put tools and optional-tools into share #1
Description
And if the user adds stuff copy them to etc like mulle-sde does (or is supposed to do).
{{ message }}
And if the user adds stuff copy them to etc like mulle-sde does (or is supposed to do).