diff options
| author | liamwhite <liamwhite@users.noreply.github.com> | 2023-12-12 11:06:37 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-12 11:06:37 -0500 |
| commit | 15bebf1695246c85852835b0fae58d795626dc39 (patch) | |
| tree | 03de654621e65cb185b2a2e3511f71b933b005ef /externals | |
| parent | 5c840334b8c1fae4e54986768a46e46a350b6318 (diff) | |
| parent | a22a025c5bd579d782225cafba1b56896d22e4cd (diff) | |
Merge pull request #12328 from german77/profile_manager
core: Use single instance of profile manager
Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions