diff --git a/tools/gwtui_dbg.launch b/tools/gwtui_dbg.launch index f007da40fa..8a873be52a 100644 --- a/tools/gwtui_dbg.launch +++ b/tools/gwtui_dbg.launch @@ -25,7 +25,7 @@ - +