diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run index b4fe7fc5a..28f6a1722 100644 --- a/repos/gems/run/sculpt.run +++ b/repos/gems/run/sculpt.run @@ -539,34 +539,15 @@ append manual_deploy_config { - - + + + - - - - - - - - - - - - - - - - - - - - } set fd [open [run_dir]/genode/manual_deploy.config w]