iang/prac @ 38ffde151ede52000dce26473f6ea6ba22685879

Ian Goldberg 38ffde151e git pull if the repo is already there		vor 2 Jahren
..
build-all-dockers	38ffde151e git pull if the repo is already there	vor 2 Jahren
parse_logs	b68f7cdf00 When parsing logs, parse the singular "1 millisecond" correctly	vor 2 Jahren
repro	73e07631c2 Don't run Figure 9 tests with "all"	vor 2 Jahren
repro-all-dockers	c0d56c237a repro-all-dockers script	vor 2 Jahren
stop-all-dockers	a115df588f Scripts to build and stop all five dockers	vor 2 Jahren