diff options
Diffstat (limited to 'widgets/build.xml')
| -rw-r--r-- | widgets/build.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/widgets/build.xml b/widgets/build.xml index 4441bc0bd0..a2eebd4276 100644 --- a/widgets/build.xml +++ b/widgets/build.xml @@ -45,6 +45,7 @@ <fileset dir="${result.deps}"> <include name="com/vaadin/*.gwt.xml" /> <include name="com/vaadin/client/BrowserInfo.java" /> + <include name="com/vaadin/client/AnimationUtil.java" /> <include name="com/vaadin/client/ComputedStyle.java" /> <include name="com/vaadin/client/DeferredWorker.java" /> <include name="com/vaadin/client/Profiler.java" /> |