Index: client/dom/generated/src/wrapping/_HTMLHtmlElementWrappingImplementation.dart |
diff --git a/client/dom/generated/src/wrapping/_HTMLHtmlElementWrappingImplementation.dart b/client/dom/generated/src/wrapping/_HTMLHtmlElementWrappingImplementation.dart |
deleted file mode 100644 |
index e9c7e057f938abf48a9a91636a788a9cc5c35004..0000000000000000000000000000000000000000 |
--- a/client/dom/generated/src/wrapping/_HTMLHtmlElementWrappingImplementation.dart |
+++ /dev/null |
@@ -1,27 +0,0 @@ |
-// Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
-// for details. All rights reserved. Use of this source code is governed by a |
-// BSD-style license that can be found in the LICENSE file. |
- |
-// WARNING: Do not edit - generated code. |
- |
-class _HTMLHtmlElementWrappingImplementation extends _HTMLElementWrappingImplementation implements HTMLHtmlElement { |
- _HTMLHtmlElementWrappingImplementation() : super() {} |
- |
- static create__HTMLHtmlElementWrappingImplementation() native { |
- return new _HTMLHtmlElementWrappingImplementation(); |
- } |
- |
- String get manifest() { return _get_manifest(this); } |
- static String _get_manifest(var _this) native; |
- |
- void set manifest(String value) { _set_manifest(this, value); } |
- static void _set_manifest(var _this, String value) native; |
- |
- String get version() { return _get_version(this); } |
- static String _get_version(var _this) native; |
- |
- void set version(String value) { _set_version(this, value); } |
- static void _set_version(var _this, String value) native; |
- |
- String get typeName() { return "HTMLHtmlElement"; } |
-} |