| 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);
|
| -}
|
|
|