diff --git a/.classpath b/.classpath index 87dcbfae3..f0edb3313 100644 --- a/.classpath +++ b/.classpath @@ -69,7 +69,6 @@ - diff --git a/IDEs/eclipse/Refine with extensions.launch b/IDEs/eclipse/Refine with extensions.launch index d78406cf9..125626612 100644 --- a/IDEs/eclipse/Refine with extensions.launch +++ b/IDEs/eclipse/Refine with extensions.launch @@ -7,7 +7,7 @@ - +