| Index: client/html/generated/html/dartium/BaseElement.dart
|
| diff --git a/client/html/generated/html/dartium/BaseElement.dart b/client/html/generated/html/dartium/BaseElement.dart
|
| deleted file mode 100644
|
| index 78d36b898189b58c47cd72c782e13f909197889b..0000000000000000000000000000000000000000
|
| --- a/client/html/generated/html/dartium/BaseElement.dart
|
| +++ /dev/null
|
| @@ -1,12 +0,0 @@
|
| -
|
| -class _BaseElementImpl extends _ElementImpl implements BaseElement {
|
| - _BaseElementImpl._wrap(ptr) : super._wrap(ptr);
|
| -
|
| - String get href() => _wrap(_ptr.href);
|
| -
|
| - void set href(String value) { _ptr.href = _unwrap(value); }
|
| -
|
| - String get target() => _wrap(_ptr.target);
|
| -
|
| - void set target(String value) { _ptr.target = _unwrap(value); }
|
| -}
|
|
|