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