diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-11-07 16:01:04 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-11-08 14:15:20 +0000 |
| commit | 9c60c31484778260e7eb20d563c33554cf39e8fd (patch) | |
| tree | ccf4d8082a8d543bb1d3c884245dad72b66447a3 /vm | |
| parent | 63bef6c39574466284f629bde4aedc7649179c26 (diff) | |
pkg/manager: add common HTML page header
Add common HTML page header to every page.
The header contains common tabs, and expert mode switch.
Diffstat (limited to 'vm')
0 files changed, 0 insertions, 0 deletions