diff options
author | hjk <hjk@qt.io> | 2022-07-13 08:43:43 +0200 |
---|---|---|
committer | hjk <hjk@qt.io> | 2022-07-13 12:21:46 +0000 |
commit | d262e665ca5aee9b1001dae4ae0c9a9b9d0e49a3 (patch) | |
tree | 446463a0a3e03691c9488a336b27149d310c3d1f /src/plugins/help/generalsettingspage.cpp | |
parent | db7b523a94501fb4d7d8b03f9f980b093da78571 (diff) | |
download | qt-creator-d262e665ca5aee9b1001dae4ae0c9a9b9d0e49a3.tar.gz |
ProjectExplorer: inline editorsettingspropertiespage.ui
Also removing the spurious extramargin.
Change-Id: Ic52c1afccd479a84fc7278b4d2cd4070bdc7193e
Reviewed-by: Christian Stenger <christian.stenger@qt.io>
Diffstat (limited to 'src/plugins/help/generalsettingspage.cpp')
0 files changed, 0 insertions, 0 deletions