| Index: client/html/generated/html/dartium/CloseEvent.dart
|
| diff --git a/client/html/generated/html/dartium/CloseEvent.dart b/client/html/generated/html/dartium/CloseEvent.dart
|
| deleted file mode 100644
|
| index c8375ca50fd44658fdef5db51ae29b97bee81f77..0000000000000000000000000000000000000000
|
| --- a/client/html/generated/html/dartium/CloseEvent.dart
|
| +++ /dev/null
|
| @@ -1,10 +0,0 @@
|
| -
|
| -class _CloseEventImpl extends _EventImpl implements CloseEvent {
|
| - _CloseEventImpl._wrap(ptr) : super._wrap(ptr);
|
| -
|
| - int get code() => _wrap(_ptr.code);
|
| -
|
| - String get reason() => _wrap(_ptr.reason);
|
| -
|
| - bool get wasClean() => _wrap(_ptr.wasClean);
|
| -}
|
|
|