Skip to content

chore: adapt shell scripts to docker#99

Merged
vil02 merged 2 commits into
masterfrom
adapt_scripts_to_docker
Jun 26, 2023
Merged

chore: adapt shell scripts to docker#99
vil02 merged 2 commits into
masterfrom
adapt_scripts_to_docker

Commits

Commits on Jun 26, 2023