diff --git a/repos/ports/run/vbox_pointer.run b/repos/ports/run/vbox_pointer.run index 625af1f309..52c552ebf8 100644 --- a/repos/ports/run/vbox_pointer.run +++ b/repos/ports/run/vbox_pointer.run @@ -66,6 +66,7 @@ set config { +