| Index: client/html/generated/html/dartium/SVGElement.dart
|
| diff --git a/client/html/generated/html/dartium/SVGElement.dart b/client/html/generated/html/dartium/SVGElement.dart
|
| deleted file mode 100644
|
| index 9016dfeecf1aaee59a8c2a7afd94387139f4bda2..0000000000000000000000000000000000000000
|
| --- a/client/html/generated/html/dartium/SVGElement.dart
|
| +++ /dev/null
|
| @@ -1,16 +0,0 @@
|
| -
|
| -class _SVGElementImpl extends _ElementImpl implements SVGElement {
|
| - _SVGElementImpl._wrap(ptr) : super._wrap(ptr);
|
| -
|
| - String get id() => _wrap(_ptr.id);
|
| -
|
| - void set id(String value) { _ptr.id = _unwrap(value); }
|
| -
|
| - SVGSVGElement get ownerSVGElement() => _wrap(_ptr.ownerSVGElement);
|
| -
|
| - SVGElement get viewportElement() => _wrap(_ptr.viewportElement);
|
| -
|
| - String get xmlbase() => _wrap(_ptr.xmlbase);
|
| -
|
| - void set xmlbase(String value) { _ptr.xmlbase = _unwrap(value); }
|
| -}
|
|
|