diff --git a/IDEs/eclipse/Refine with extensions.launch b/IDEs/eclipse/Refine with extensions.launch index 66828b3a1..d78406cf9 100644 --- a/IDEs/eclipse/Refine with extensions.launch +++ b/IDEs/eclipse/Refine with extensions.launch @@ -10,5 +10,5 @@ - + diff --git a/extensions/build.xml b/extensions/build.xml index 1632fabdc..50da947dd 100644 --- a/extensions/build.xml +++ b/extensions/build.xml @@ -11,7 +11,7 @@ - +