diff --git a/server/IDEs/eclipse/Refine with extensions.launch b/server/IDEs/eclipse/Refine with extensions.launch new file mode 100644 index 000000000..ac41b4730 --- /dev/null +++ b/server/IDEs/eclipse/Refine with extensions.launch @@ -0,0 +1,15 @@ + + + + + + + + + + + + + + +