diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-03-27 08:46:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-27 08:46:16 +0100 |
| commit | a82765a46477209dad1eeb466d593d592167060a (patch) | |
| tree | 1411f2d3dd9486fc409768a2f6f17903e21a27fe /doc/classes/Environment.xml | |
| parent | 5cdd4ee8bced19a5f7e74c6d3d693bbb39e27bd7 (diff) | |
| parent | 918f50c04ce949c36dead1f219ade5fcffe62782 (diff) | |
Merge pull request #47403 from likeich/project_man_scale_fix
Fix project manager window size scaling
Diffstat (limited to 'doc/classes/Environment.xml')
0 files changed, 0 insertions, 0 deletions