Index: client/html/generated/src/interface/AreaElement.dart |
diff --git a/client/html/generated/src/interface/AreaElement.dart b/client/html/generated/src/interface/AreaElement.dart |
deleted file mode 100644 |
index 1ba639d2b1db5d39daad98e67d621bc4a929df13..0000000000000000000000000000000000000000 |
--- a/client/html/generated/src/interface/AreaElement.dart |
+++ /dev/null |
@@ -1,54 +0,0 @@ |
-// Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
-// for details. All rights reserved. Use of this source code is governed by a |
-// BSD-style license that can be found in the LICENSE file. |
- |
-// WARNING: Do not edit - generated code. |
- |
-interface AreaElement extends Element { |
- |
- String get accessKey(); |
- |
- void set accessKey(String value); |
- |
- String get alt(); |
- |
- void set alt(String value); |
- |
- String get coords(); |
- |
- void set coords(String value); |
- |
- String get hash(); |
- |
- String get host(); |
- |
- String get hostname(); |
- |
- String get href(); |
- |
- void set href(String value); |
- |
- bool get noHref(); |
- |
- void set noHref(bool value); |
- |
- String get pathname(); |
- |
- String get ping(); |
- |
- void set ping(String value); |
- |
- String get port(); |
- |
- String get protocol(); |
- |
- String get search(); |
- |
- String get shape(); |
- |
- void set shape(String value); |
- |
- String get target(); |
- |
- void set target(String value); |
-} |