diff --git a/server/IDEs/eclipse/Refine with extensions.launch b/server/IDEs/eclipse/Refine with extensions.launch index f24330974..8891025f1 100644 --- a/server/IDEs/eclipse/Refine with extensions.launch +++ b/server/IDEs/eclipse/Refine with extensions.launch @@ -7,7 +7,7 @@ - +