| Index: client/html/generated/html/dartium/ProgressElement.dart
|
| diff --git a/client/html/generated/html/dartium/ProgressElement.dart b/client/html/generated/html/dartium/ProgressElement.dart
|
| deleted file mode 100644
|
| index 643442a32441c748a452f7a7ea458e27e0b7503f..0000000000000000000000000000000000000000
|
| --- a/client/html/generated/html/dartium/ProgressElement.dart
|
| +++ /dev/null
|
| @@ -1,18 +0,0 @@
|
| -
|
| -class _ProgressElementImpl extends _ElementImpl implements ProgressElement {
|
| - _ProgressElementImpl._wrap(ptr) : super._wrap(ptr);
|
| -
|
| - FormElement get form() => _wrap(_ptr.form);
|
| -
|
| - NodeList get labels() => _wrap(_ptr.labels);
|
| -
|
| - num get max() => _wrap(_ptr.max);
|
| -
|
| - void set max(num value) { _ptr.max = _unwrap(value); }
|
| -
|
| - num get position() => _wrap(_ptr.position);
|
| -
|
| - num get value() => _wrap(_ptr.value);
|
| -
|
| - void set value(num value) { _ptr.value = _unwrap(value); }
|
| -}
|
|
|