| Index: client/dom/generated/src/interface/Location.dart
|
| diff --git a/client/dom/generated/src/interface/Location.dart b/client/dom/generated/src/interface/Location.dart
|
| index b56fb301a2f6ae9d004ee7a11498c6b6d6bb2a04..9ffbaf26b8173d4fc5190a196dba746a715e18f6 100644
|
| --- a/client/dom/generated/src/interface/Location.dart
|
| +++ b/client/dom/generated/src/interface/Location.dart
|
| @@ -42,8 +42,6 @@ interface Location {
|
|
|
| void assign(String url);
|
|
|
| - String getParameter(String name);
|
| -
|
| void reload();
|
|
|
| void replace(String url);
|
|
|