diff --git a/server/IDEs/eclipse/Refine with extensions.launch b/server/IDEs/eclipse/Refine with extensions.launch index ac41b4730..71706088b 100644 --- a/server/IDEs/eclipse/Refine with extensions.launch +++ b/server/IDEs/eclipse/Refine with extensions.launch @@ -10,6 +10,6 @@ - +