Index: client/html/generated/html/interface/HtmlElement.dart |
diff --git a/client/html/generated/html/interface/HtmlElement.dart b/client/html/generated/html/interface/HtmlElement.dart |
index 18c0f8b7318c96cef03b0fc95ff90cf8346a1acf..317faeeff543fcf3d164e75b65acc9f5ca3ccd12 100644 |
--- a/client/html/generated/html/interface/HtmlElement.dart |
+++ b/client/html/generated/html/interface/HtmlElement.dart |
@@ -5,8 +5,4 @@ |
// WARNING: Do not edit - generated code. |
interface HtmlElement extends Element { |
- |
- String manifest; |
- |
- String version; |
} |