diff --git a/repos/ports/run/arora.run b/repos/ports/run/arora.run index 5aee54d5ab..e3cff5438e 100644 --- a/repos/ports/run/arora.run +++ b/repos/ports/run/arora.run @@ -57,7 +57,7 @@ append config { - +