| Index: client/html/generated/html/dartium/Entity.dart
|
| diff --git a/client/html/generated/html/dartium/Entity.dart b/client/html/generated/html/dartium/Entity.dart
|
| deleted file mode 100644
|
| index ed65a3b6a55a4a5848c78fc1e4b000c5a87ffc99..0000000000000000000000000000000000000000
|
| --- a/client/html/generated/html/dartium/Entity.dart
|
| +++ /dev/null
|
| @@ -1,10 +0,0 @@
|
| -
|
| -class _EntityImpl extends _NodeImpl implements Entity {
|
| - _EntityImpl._wrap(ptr) : super._wrap(ptr);
|
| -
|
| - String get notationName() => _wrap(_ptr.notationName);
|
| -
|
| - String get publicId() => _wrap(_ptr.publicId);
|
| -
|
| - String get systemId() => _wrap(_ptr.systemId);
|
| -}
|
|
|