diff --git a/dev/run b/dev/run index 9e404ddf0..102e988c1 100755 --- a/dev/run +++ b/dev/run @@ -7,7 +7,7 @@ cd docker cat > Dockerfile <