Index: client/html/generated/html/interface/AreaElement.dart |
diff --git a/client/html/generated/html/interface/AreaElement.dart b/client/html/generated/html/interface/AreaElement.dart |
deleted file mode 100644 |
index d7b00817ddce5a475b8458acc3b5df0bb9ded562..0000000000000000000000000000000000000000 |
--- a/client/html/generated/html/interface/AreaElement.dart |
+++ /dev/null |
@@ -1,36 +0,0 @@ |
-// Copyright (c) 2012, 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 alt; |
- |
- String coords; |
- |
- final String hash; |
- |
- final String host; |
- |
- final String hostname; |
- |
- String href; |
- |
- bool noHref; |
- |
- final String pathname; |
- |
- String ping; |
- |
- final String port; |
- |
- final String protocol; |
- |
- final String search; |
- |
- String shape; |
- |
- String target; |
-} |