diff options
Diffstat (limited to 'build/ide.xml')
-rwxr-xr-x | build/ide.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/ide.xml b/build/ide.xml index 45130e9d01..94f89da30f 100755 --- a/build/ide.xml +++ b/build/ide.xml @@ -147,4 +147,4 @@ </loadfile> <echo file="${vaadinPush.js.output}">${vaadinPush.js.contents}</echo> </target> -</project>
\ No newline at end of file +</project> |