diff options
| author | hjk <[email protected]> | 2023-07-18 13:54:51 +0200 |
|---|---|---|
| committer | hjk <[email protected]> | 2023-07-27 13:00:28 +0000 |
| commit | 1e35f09251d16f3d72bac759e5c25161a6a3828a (patch) | |
| tree | addeb461740d986c7c9ede620fdc3c27411ccaff /src/plugins/android/androidsdkmanager.cpp | |
| parent | c326f049dc845f435520ca873b7f9c5c4ac7a495 (diff) | |
Core: Remove PagedSettings again
Turned out to create a too strict tie between settings and
settings pages, we are more flexible with delaying/avoiding
initialization without these.
Change-Id: I948af675e29c7da34bfccd490c1c1b999923f279
Reviewed-by: Jarek Kobus <[email protected]>
Diffstat (limited to 'src/plugins/android/androidsdkmanager.cpp')
0 files changed, 0 insertions, 0 deletions