diff --git a/repos/ports/run/arora.run b/repos/ports/run/arora.run index 1b7dce746a..53f676463e 100644 --- a/repos/ports/run/arora.run +++ b/repos/ports/run/arora.run @@ -96,6 +96,18 @@ append config { + + + + + + + + + + + + @@ -105,7 +117,7 @@ append config { 2018-01-01 00:01 - +