| Index: client/dom/generated/src/frog/HTMLHtmlElement.dart
|
| diff --git a/client/dom/generated/src/frog/HTMLHtmlElement.dart b/client/dom/generated/src/frog/HTMLHtmlElement.dart
|
| index 02f36aceaa972fc9f51fbf7d7d25d283b3d6b2db..16765f5cf02c5fd5c3b25a1fe5e4eab9055da435 100644
|
| --- a/client/dom/generated/src/frog/HTMLHtmlElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLHtmlElement.dart
|
| @@ -1,5 +1,5 @@
|
|
|
| -class HTMLHtmlElementJs extends HTMLElementJs implements HTMLHtmlElement native "*HTMLHtmlElement" {
|
| +class _HTMLHtmlElementJs extends _HTMLElementJs implements HTMLHtmlElement native "*HTMLHtmlElement" {
|
|
|
| String get manifest() native "return this.manifest;";
|
|
|
|
|