Skip to content
GitLab
Explore
Sign in
record
recordweb
Repository
recordweb
erecord
tools
make_containers
gen_source
cmd_rep.sh
Find file
Blame
History
Permalink
cmd_erecord.sh and cmd_rep.sh minor modifications : adding folders creation
· 0d3187dc
Nathalie Rousse
authored
Sep 12, 2019
if not exist.
0d3187dc