diff options
| author | stuebinm | 2024-05-15 01:54:29 +0200 |
|---|---|---|
| committer | stuebinm | 2024-05-15 01:56:55 +0200 |
| commit | 92a302caa945f48e798aa4e053373d1b8bfc2cfb (patch) | |
| tree | c28fd286fdb48e87eb551cd175dc79f1fc14b83e /tools | |
| parent | 0c9a5d3be15d8f0cfa0fcddcefcbb65ec5a8eadd (diff) | |
Frontend.SpaceTime: make diagram's y axis scalable
in preparation for using these elsewhere, where they are less cramped
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions