diff options
| author | Ian Lewis <ianlewis@google.com> | 2020-08-04 01:05:42 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-08-04 01:07:42 -0700 |
| commit | a02b7534f21d4f963ace890e80d7bf17e0d5d10f (patch) | |
| tree | 26a5d8a6aa4854f41523a098b8f979e4619bfd57 /benchmarks | |
| parent | 25798f214c6d1991916906ea8fca9e7029a8c423 (diff) | |
Fix grouping and ordering of website menus
Groups subcategories and sorts their pages by weight properly. Subcategories
are sorted by name. Pages within subcategories are sorted by weight.
PiperOrigin-RevId: 324766128
Diffstat (limited to 'benchmarks')
0 files changed, 0 insertions, 0 deletions