diff --git a/repos/ports/run/arora.run b/repos/ports/run/arora.run index 9eac03cfe5..9b1a5ffb16 100644 --- a/repos/ports/run/arora.run +++ b/repos/ports/run/arora.run @@ -70,7 +70,7 @@ append config { - +