diff --git a/repos/os/run/init.run b/repos/os/run/init.run index 1c52d46b03..f91082ca56 100644 --- a/repos/os/run/init.run +++ b/repos/os/run/init.run @@ -716,7 +716,6 @@ append config { - @@ -736,7 +735,28 @@ append config { - + + + + + + + + + + + + + + + + + + + + + +