-
Gustavo Barbieri authored
it may happen that parent directories of RANDOM_SEED do not exist, in that case we must create it otherwise save will not work.
b56e5747
it may happen that parent directories of RANDOM_SEED do not exist, in that case we must create it otherwise save will not work.