diff --git a/main/IDEs/eclipse/RefineTests.launch b/main/IDEs/eclipse/RefineTests.launch deleted file mode 100644 index 669461565..000000000 --- a/main/IDEs/eclipse/RefineTests.launch +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - - - - - - - - - -