diff --git a/docs/reproducing.md b/docs/reproducing.md index ab61b6e24..8ec8d5e08 100644 --- a/docs/reproducing.md +++ b/docs/reproducing.md @@ -45,6 +45,6 @@ docker run --rm -v $target_checkout_dir:/src/$target