Skip to content

Make rndm seed optional

Johannes Schumannrequested to merge
jobcard_seed into master

The option to put a random generator seed in the jobcard always uses 0 as default. The behavior should be to take no seed if no specific one is given.

Merge request reports