Index: client/html/generated/html/dartium/XMLHttpRequestException.dart |
diff --git a/client/html/generated/html/dartium/XMLHttpRequestException.dart b/client/html/generated/html/dartium/XMLHttpRequestException.dart |
deleted file mode 100644 |
index a1f36d22176b5e8cb3ee29a673ea86ba74982107..0000000000000000000000000000000000000000 |
--- a/client/html/generated/html/dartium/XMLHttpRequestException.dart |
+++ /dev/null |
@@ -1,14 +0,0 @@ |
- |
-class _XMLHttpRequestExceptionImpl extends _DOMTypeBase implements XMLHttpRequestException { |
- _XMLHttpRequestExceptionImpl._wrap(ptr) : super._wrap(ptr); |
- |
- int get code() => _wrap(_ptr.code); |
- |
- String get message() => _wrap(_ptr.message); |
- |
- String get name() => _wrap(_ptr.name); |
- |
- String toString() { |
- return _wrap(_ptr.toString()); |
- } |
-} |