Sebastian Serth 9ea94ed4fc Explicitly copy folders before adding files ...

This allows to protect copied files while additionally allowing learners to add new files in copied subdirectories

2022-10-29 18:50:27 +02:00

..

docker_container_pool.rb

Update keyword arguments for #retrieve_files

2022-10-29 18:49:18 +02:00

null.rb

Update keyword arguments for #retrieve_files

2022-10-29 18:49:18 +02:00

poseidon.rb

Explicitly copy folders before adding files

2022-10-29 18:50:27 +02:00