diff options
| author | Tristan Van Berkom <tristan.vanberkom@codethink.co.uk> | 2018-06-12 22:41:15 -0400 |
|---|---|---|
| committer | Tristan Van Berkom <tristan.vanberkom@codethink.co.uk> | 2018-06-12 22:41:15 -0400 |
| commit | 53bc7272edb232b22c290017ecff0ce6972b3771 (patch) | |
| tree | 037938ea7c8424a831aa7c4f1c96b4575b2ce97e /buildstream/_frontend/profile.py | |
| parent | d9da078ddad3d4ebefd42955875421c45c55635d (diff) | |
| download | buildstream-53bc7272edb232b22c290017ecff0ce6972b3771.tar.gz | |
doc: Don't allow setting a height on the generated session html
This was a bad idea and doesnt play well with mobile UIs, better
off to just include the whole thing even if it's long, and let
the backing page handle vertical scrolling.
Diffstat (limited to 'buildstream/_frontend/profile.py')
0 files changed, 0 insertions, 0 deletions