diff --git a/oomph/Platform.setup b/oomph/Platform.setup index 358ab35560b..47e5e5123c3 100644 --- a/oomph/Platform.setup +++ b/oomph/Platform.setup @@ -203,7 +203,7 @@ + label="Ant, Base, Debug, Runtime, Resources, Team, Terminal, User Assistance, and Update"> + + + + +