iang/prac @ ef2b926a0c5c6082cf07cd2f172fcf770c825bb6

Ian Goldberg 89999d96b6 Remove obsolete comment		vor 10 Monaten
..
Dockerfile	8aeacca011 Include /usr/bin/time in the docker	vor 1 Jahr
build-docker	6798d99243 Enable multiple versions of the PRAC docker on the same machine	vor 1 Jahr
run-experiment	6798d99243 Enable multiple versions of the PRAC docker on the same machine	vor 1 Jahr
run-experiment-ssh	89999d96b6 Remove obsolete comment	vor 10 Monaten
set-networking	6798d99243 Enable multiple versions of the PRAC docker on the same machine	vor 1 Jahr
start-docker	6798d99243 Enable multiple versions of the PRAC docker on the same machine	vor 1 Jahr
stop-docker	6798d99243 Enable multiple versions of the PRAC docker on the same machine	vor 1 Jahr
unset-networking	6798d99243 Enable multiple versions of the PRAC docker on the same machine	vor 1 Jahr