| Index: client/html/generated/src/interface/HRElement.dart
|
| diff --git a/client/html/generated/src/interface/HRElement.dart b/client/html/generated/src/interface/HRElement.dart
|
| deleted file mode 100644
|
| index e8839a8d85ec7d9228921852e7c824169d3e0e27..0000000000000000000000000000000000000000
|
| --- a/client/html/generated/src/interface/HRElement.dart
|
| +++ /dev/null
|
| @@ -1,24 +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 HRElement extends Element {
|
| -
|
| - String get align();
|
| -
|
| - void set align(String value);
|
| -
|
| - bool get noShade();
|
| -
|
| - void set noShade(bool value);
|
| -
|
| - String get size();
|
| -
|
| - void set size(String value);
|
| -
|
| - String get width();
|
| -
|
| - void set width(String value);
|
| -}
|
|
|