| Index: client/html/generated/html/dartium/HtmlElement.dart
|
| diff --git a/client/html/generated/html/dartium/HtmlElement.dart b/client/html/generated/html/dartium/HtmlElement.dart
|
| index 3bdbb5b7dc0065f95cd033a8babef09f7855dfec..8cccc03ed47e75dc973ed4d63ae169a08d044bd5 100644
|
| --- a/client/html/generated/html/dartium/HtmlElement.dart
|
| +++ b/client/html/generated/html/dartium/HtmlElement.dart
|
| @@ -1,12 +1,4 @@
|
|
|
| class _HtmlElementImpl extends _ElementImpl implements HtmlElement {
|
| _HtmlElementImpl._wrap(ptr) : super._wrap(ptr);
|
| -
|
| - String get manifest() => _wrap(_ptr.manifest);
|
| -
|
| - void set manifest(String value) { _ptr.manifest = _unwrap(value); }
|
| -
|
| - String get version() => _wrap(_ptr.version);
|
| -
|
| - void set version(String value) { _ptr.version = _unwrap(value); }
|
| }
|
|
|