Index: client/html/generated/html/dartium/AnimationEvent.dart |
diff --git a/client/html/generated/html/dartium/AnimationEvent.dart b/client/html/generated/html/dartium/AnimationEvent.dart |
deleted file mode 100644 |
index 3434bcb5ce12d2ad9dd7eaf414b697767a1bd5fc..0000000000000000000000000000000000000000 |
--- a/client/html/generated/html/dartium/AnimationEvent.dart |
+++ /dev/null |
@@ -1,8 +0,0 @@ |
- |
-class _AnimationEventImpl extends _EventImpl implements AnimationEvent { |
- _AnimationEventImpl._wrap(ptr) : super._wrap(ptr); |
- |
- String get animationName() => _wrap(_ptr.animationName); |
- |
- num get elapsedTime() => _wrap(_ptr.elapsedTime); |
-} |