Index: client/html/generated/src/wrapping/_HRElementWrappingImplementation.dart |
diff --git a/client/html/generated/src/wrapping/_HRElementWrappingImplementation.dart b/client/html/generated/src/wrapping/_HRElementWrappingImplementation.dart |
deleted file mode 100644 |
index ebefd8cc1588c1e027b6b4dd97a3b549179ff5bf..0000000000000000000000000000000000000000 |
--- a/client/html/generated/src/wrapping/_HRElementWrappingImplementation.dart |
+++ /dev/null |
@@ -1,25 +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 HRElementWrappingImplementation extends ElementWrappingImplementation implements HRElement { |
- HRElementWrappingImplementation._wrap(ptr) : super._wrap(ptr) {} |
- |
- String get align() { return _ptr.align; } |
- |
- void set align(String value) { _ptr.align = value; } |
- |
- bool get noShade() { return _ptr.noShade; } |
- |
- void set noShade(bool value) { _ptr.noShade = value; } |
- |
- String get size() { return _ptr.size; } |
- |
- void set size(String value) { _ptr.size = value; } |
- |
- String get width() { return _ptr.width; } |
- |
- void set width(String value) { _ptr.width = value; } |
-} |