| commit | e7920faa89982159cc66ba3cbe850ed635c819ab | [log] [tgz] |
|---|---|---|
| author | William Hesse <whesse@google.com> | Tue Sep 03 10:18:06 2019 +0000 |
| committer | William Hesse <whesse@google.com> | Tue Sep 03 10:18:06 2019 +0000 |
| tree | 93458df38afbcd2e9fbfb3cfe3fa460fd9efe55d | |
| parent | 994d3980c59d66a907257ffde255b49bb1b3095e [diff] |
Add filter settings to URL fragment, so they can be bookmarked Change-Id: I7bfb217128a8fc8cc9752af8aa11d2baa62d11a0 Reviewed-on: https://dart-review.googlesource.com/c/dart_ci/+/115220 Reviewed-by: Alexander Thomas <athom@google.com>