diff --git a/repos/ports/run/vbox_pointer.run b/repos/ports/run/vbox_pointer.run index 7133d151b..a33d9c0de 100644 --- a/repos/ports/run/vbox_pointer.run +++ b/repos/ports/run/vbox_pointer.run @@ -185,10 +185,10 @@ set config { - - - - + + + + diff --git a/repos/ports/run/vbox_win.inc b/repos/ports/run/vbox_win.inc index c1e4c6fb8..1ca477b3f 100644 --- a/repos/ports/run/vbox_win.inc +++ b/repos/ports/run/vbox_win.inc @@ -99,7 +99,7 @@ append config_of_app { - + @@ -149,7 +149,7 @@ append config_of_app { for { set i 1} { $i <= $use_vms } { incr i} { append config_of_app " - " + " } append config_of_app { diff --git a/repos/ports/src/app/vbox_pointer/README b/repos/ports/src/app/vbox_pointer/README index 68b0939e1..886f880f2 100644 --- a/repos/ports/src/app/vbox_pointer/README +++ b/repos/ports/src/app/vbox_pointer/README @@ -9,9 +9,9 @@ defined for labels or domains of the sessions. ! ! ! -! -! -! +! +! +! ! !